fixing PHPDoc