Fix typo
Fixes #1229