AST corrections