fix wrong semantics of Conc