Correction for type invariant pattern mismatches