Some syntax corrections