Minor redundancy eliminations.