fix minor phpdoc