fixing dump() formatting.