Fix typo. Fixes #635.