Fix PHP syntax error.