fix some synotool bugs