minor change in proof