PHPDoc is wrong