Minor syntax corrections