Fix json encoding.