Fixing typo (see #1013)