Fix PHP syntax error