correct PHPDoc