Fixing typo in Mauro's recent checkin.