Fixes to phpdoc.