Fix the PHPDOC