minor typo
(#426)