bad phpdoc