JSON format bugfixes