typo
(#432)