Changes to ast.xml