typos
(#449)