fix to_json encoding -- # 42