fix phpdoc, #35