Mending on diamond shovel and pickaxe not functioning

​ When wielding a diamond shovel enchanted with mending in the primary hand while collecting XP orbs and with no other gear equipped with mending enchantment, shovel does not repair.