bug fixed: synthetic.txt