After looking at the original filing, thats what it looks like. Looks like they registered these in 2007 for possible sale, so whatever was left over, if any, that weren't sold/used are being retired. I suppose it's asking to much to list the amount/number of shares being retired, that would be too easy.
News 
Market Data 
Discover 
