synthesis bug fixed