dump formats JSON nicely