Fix heaps of typos (as reported by Oliver).