[Banach] Correction