PHPDoc reformatted