Remove some redundant phpdoc