minor typo
Fixes #801