My account is still showing AUG. I called the broker and he said it sometimes takes a couple of days to show up under the new symbol and correct number of shares.
There is a first time for everything. To bad you won't be along for the ride.
Most didn't short at the 52 week high and many shorted below where the stock is now. Even if you shorted at the 52 week high you are watching your profit quickly eat away. ENJOY!