Minor improvements to the tools documentation