Fix PHP Doc.