AST bugfixes