Small typo induced in comment in prior change.