correction to syntax