fix bug synthesis display