minor syntax corrections