json problem reading ints