Fix some ancient typos