typos
(#547)