LOL honestly I haven't checked, I was just being sarcastic really but wouldn't be surprised if he even had to amend that, as he has amended so many filings by now.
I wonder if it cost money to amend or is that paid for by the original filing, could be a huge savings there if it cost to amend every time