Fix a few synthesis warnings