Minor fixes to phpdoc