PHPDoc touch-up