Fix AST dumps