Fix phpdoc comments