Fix typo mentioned in #1145