Fix PHP annotation