Small syntax corrections