Fix a typing error
Fix a typing error