Fix overlooked typos