PHPDoc and Formatting