Fix a formatting issue with the tools documentation