fix a few syntax errors