Small PHPDoc fixes