Fix a little mistake