minor phpdoc update