Unbreaking the implosion of JSON after @tvdstorm's renaming in adcc48724c9dda60152d8dc80b794ef7596fa322