fix phpdoc comment