small syntax corrections