fix generated phpdoc