JSON tweaks

* Fixed json dumping