PHPDOC fixes