Correct some erroneously committed typos.