Minor bugfix on dump() method