Minor phpdoc fixes