Fix typo in 985213f2fede57.