Corrections in syntax