fix PHPDOC