quick bugfix on the AST dump