Fix a few syntax errors