PHPDoc fixes