Looks like the name change for AXGI will not be completed until the end of today, so it's restricted from trading. WCRI is the new symbol.