just a minor change in a proof; broken