After you file

But you only amend if your original return was accepted.  Sounds like his return was rejected.