minor typo fix
(#388)