Update jsonexp.py

Shorter)