Some syntaxic improvement