Fix phpdoc type hint