Fixing another error in the mono Json workaround.