He reported it in the best way possible. We all know what would have happened if he filed a bug report (especially if they didn't realize it was him).