Fix several minor syntax errors