Last minute changes for exposition