fixed some synthesis issues