Fix some phpdoc comments