Fixing typo mentioned in issue #3