Fixing typo in #1748.