minor hotfix for broken JSON