fix phpdoc, #2