minor syntaxic change