typos
(#442)