A typo, fixed.