dump correctly