random typo
(#511)