Fix typo mentioned in #25.