Closing PHP tags at the end of a file is never a good idea