Does this work?

Author: MM45

INSTALL.md

@@ -522,12 +522,12 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
 - [OCaml ini-files](https://opam.ocaml.org/packages/ocaml-inifiles/) (version >= 1.2)  
   Additional resources:
   - http://archive.ubuntu.com/ubuntu/pool/universe/o/ocaml-inifiles
-- [Python3](https://www.python.org/downloads)
+- [Python3](https://www.python.org/downloads)  
   You also need to install the following libraries:
   - [Python3 YAML](https://pyyaml.org/wiki/PyYAMLDocumentation)
   - [Python3 Curses](https://docs.python.org/3/library/curses.html#module-curses)  
     - *Note: This might already be included with your Python installation. If so,
-      you do not need to install it separately.*
+      you do not need to install it separately.*  
   Additional resources:
   - https://pypi.org/project/PyYAML
   - https://github.com/yaml/pyyaml