fixing a random typo
(#343)