correction to proof of 2.2