Fix a mistake on typing