Fix json encoding