fix NFA concatenation