Correct, but there are two other reports (the 3rd amended annual and the 1st quarter report) with thru-dates after 30Sep that show the presumably correct float of ~8billion, both of those would need to be adjusted for the smaller float to be believable...
That smaller float is the same as the 1st amended annual report back in March that they corrected the same day...
News 
Market Data 
Discover 
