Fixed wrong PHPDoc hint