Fix typo from previous commit (issue #8).