?

Author: MM45

INSTALL.md

@@ -526,9 +526,7 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
   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.*
-
+    *Note: This might already be included with your Python installation. If so, you do not need to install it separately.*
   Additional resources:
   - https://pypi.org/project/PyYAML
   - https://github.com/yaml/pyyaml