typo
(#417)