Take some liberties with reformatting JSON output