Fix synthesis bugs