Fixing JSON dumps