dump-as-json.py: remove pointless assignment