Fixes likely paths to tools in documentation.