Fixing PHPDoc