Fix a few syntax issues