just some typos
(#387)