-- fix a bug in concatenation