small changes to JSONView plugin.