Fix typo (fixes #165).