fixing some trivial syntax errors