Tidy up PHPDoc