some corrections on the AST