Fixing a silly mistake in one of the proof claims