typos
(#401)