Correct some syntax errors