Trivial formatting fix on Tools page