Some phpdoc fixes