Fix bizarre misplacement of PHP