Fix a typo (and so on)