Disabling the Dimensional Compass in the config doesn't disable it

[GrumpyChunks]

Version 1.16.5-1.2.3.38

I've disabled both the dimensional compass in the serverconfig for the world I'm playing in (along with many other tweaks). All the changes I've made have worked with the only expcetion being the dimensional compass still being craftable.

	[tools.dimensionCompass]
		#Enables the dimension compass: a compass which points towards the place you entered a dimension.
		#When used on a lodestone, works across dimensions taking nether coordinates into account
		enable = false

I've also tried disabling the entire tools module, but the compass continues to be craftable.

[modules]
	#Adds tools for automation and redstone interaction
	utility = false
	#Contains tweaks to vanilla features
	tweaks = false
	#Includes new blocks that add new types of recipes
	tools = false
	#Building blocks to improve decoration
	building = true

Just to confirm, I'm definately editing the correct config file, as I can see other changes taking place.

I've had a quick look in the source, (it's been a while since I made a mod, so I'm quite rusty), but the dimensional compass is registered differently to other tools. Apologies if I'm barking up the wrong tree.