more phpdoc formatting