Fix typo mentioned in issue #11