Fix some rather embarrassing typos