typo
(#439)