Fix a weird bug -- mistype