Cosmetic changes in implementation of fresh identifiers.