Fixing typo introduced in #1176.