Typo. Fix #1245.