Fixed wrong phpdoc type