Fix typo. See #1257.