phpdoc style fixing