Fixing README.md

README.md

-**Please** **do** **not** use the download button on the top right; use this link
-instead:
+**Please** **do** **not** use the download button on the top right; use this
+link instead:
 [http://smt-lib.loria.fr/zip/UFIDL.zip](http://smt-lib.loria.fr/zip/UFIDL.zip)
 
 This is a repository of SMT-LIB benchmarks.
@@ -7,7 +7,8 @@ See [http://smtlib.org](http://smtlib.org) for more information about the
 SMT-LIB initiative.
 
 This repository contains the benchmarks in UFIDL logic.
-See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.
+See [http://smtlib.org/logics.shtml](http://smtlib.org/logics.shtml)
+for a description of the SMT-LIB logics.
 
 ## Cloning the repository
 
@@ -21,7 +22,6 @@ git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/UFIDL.git
 [Git LFS](https://git-lfs.github.com/).
 Make sure to install and setup Git LFS before cloning the repository.
 
-
 ## License
 
 The benchmarks in this repository are distributed under the