The Saudi pilot that opened fire on Naval Air Station Pensacola last week, killing three, was reportedly infuriated after an instructor took to calling him “Porn ‘Stache” this past April. He went as far as filing a formal complaint over the nickname, citing instructor James Day in the report.

The report, which was first revealed by the New York Times, was written by the shooter, Mohammed Alshamrani, with assistance from two of his American classmates. It outlines an interaction that took place at the end of a day of classes when Day asked the small class if anyone had any remaining questions before he dismissed them for the day. When he reached Alshamrani, he reportedly referred to him as “porn ‘stache.”

“Laughing, he continued to ask, ‘What? Have you not seen a porn star before?’” Alshamrani reportedly wrote in the complaint. “After I did not respond, he just let go of the subject.”

In the complaint, it may be worth noting, the name was spelled “porn stash,” rather than the technically correct, “porn ‘stache.” Soon after the complaint was filed, the company that employs Day offered to have the instructor apologize for the incident. Alshamrani refused, opting instead to speak to Navy personnel that deal specifically with international students. Alshamrani was reportedly scheduled to fly with Day following the “name calling” incident, but complained and was able to have his flight rescheduled with another instructor.