Fixed formatting in PHPDoc