After you file

Yup, and my Form 8888 was correct.