typo
(#590)