PHPDoc formatting fix