Syntactic corrections