Player can't get mending and frost walker from jungle temple, fishing, stronghold library chests

In jungle temple, fishing and stronghold library chests there can be enchanted book with treasure enchantment set to true, but lvl of enchanting is too low to get treasure enchantment: mending and frost walker. Lvl should be increased or loot table should be changed to "enchant randomly".
Now is:

"functions": [
        {
            "function": "enchant_with_levels",
            "levels": 30,
            "treasure": true
            }
        ]

"functions": [
        {
            "function": "enchant_with_levels",
            "levels": 30,
            "treasure": true
            }
        ]

should be:

"functions": [
         {
             "function": "enchant_randomly"
         }
       ]

"functions": [
         {
             "function": "enchant_randomly"
         }
       ]