bug fix in AST dumper