change some phpdoc to make the IDE happy