Correct a typo during previous checkin.