Fix some phpdoc.