typo
(#407)