minor change to tools page, also fixed an erroneous link