Fix a bug in synthetic