A little modification to concat.py