small improvements to the Precise TNT