#6706: Name change.