Fix PHP spec