error in normalization (shadowing by pattern)