typos
(#390)