typo
(#467)