Yet more careful json decoding.