Fix PHP Doc