Fehlerkorrekturen, Umschlag-Element für Module