typos
(#248)