Correction to syntax.