Fix typos reported by @hflynn