Fix a typo

Thanks!