more JSON tweaks