Loot Table function exploration_map uses case insensitive StructureType, which is different from /locate command

The following loot table gives one an exploration map of buried treasure.
The "destination" should be "buried_treasure" but not "Buried_Treasure", since the command /locate uses "buried_treasure" but not "Buried_Treasure", for consistency.

{
  "pools": [
    {
      "rolls": 1,
      "entries": [
        {
          "type": "minecraft:item",
          "name": "minecraft:map",
          "functions": [
            {
              "function": "minecraft:exploration_map",
              "destination": "Buried_Treasure"
            }
          ]
        }
      ]
    }
  ]
}