According to the coding standard, the closing php tag should be omitted. I would have created a patch, but I don't really think it's worth it in this case... Just delete the last line.