fixed dump pretty printing, cleaner resolution