Fixed typo. See #1254.