python3: fix the json dump
Authored by: Jean-Francois Dockes 2018-06-02
Parent(s): [605ce8]
Child(ren): [1f4000]