Fixed error in dump()