a few syntax corrections