Fix a typing bug