fixed up some phpdoc