Link

Author: MM45

README.md

@@ -36,8 +36,8 @@ The recommended method is to use OPAM, a package manager for OCaml (the programm
 language EasyCrypt is written in). This guide provides a brief overview of that process.
 For more detailed instructions, caveats, and alternative installation
 methods, please refer to [INSTALL.md](INSTALL.md). Also, if you encounter any issues,
-be sure to consult [list of known installation quirks
-> and corresponding troubleshooting tips](https://github.com/EasyCrypt/easycrypt/wiki/%5BSetup%5D-Installation-Quirks).
+be sure to consult
+[the list of known installation quirks and corresponding troubleshooting tips](https://github.com/EasyCrypt/easycrypt/wiki/%5BSetup%5D-Installation-Quirks).
 
 
 > **Note:** The last two steps covered here are actually part of the (post-installation)