Fix some synthesis warnings