Fixed a bug in dumptree