Clean up jsonlib.py a bit.