Fix a typo (I think?)