Minor PHPDoc fixes