A typo slipped by -- fixed.