fix synthesis