Fix a little type