Correction in syntax