get rid of some synthesis warnings