typo
(#547)