another json pre10 issue to work around