Fix PHP error in latest commit