typos
(#460)