typo
(#493)