Fix PHP bug