typos
(#420)