Closing php tag implies semicolon