Some syntax error corrections