Fix PHP syntax