Correction to syntax