Fix typo highlighted by @waynemoir

Fixes #429.