Fix PHPDoc types