improved dump()