Fix a typing problem