Small phpdoc fixes