preprocess.py: Fix json stuff.