fixed some synthesis stuff