Final tweak to make json print nice