Fix a few other synthesis warnings