Fix a typo regarding my latest commit on issue #1837