Just to signal that we are only using it in JsonElement form in this function. The cast below was purely for constness.