fixing auto-AST