fix a mistake in QR proof found by Gottfried Barthel.