diff --git a/INSTALL.md b/INSTALL.md
index dd44a0b..7e2e4d0 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -6,8 +6,6 @@ _Alternatively_, the extension can be built and installed manually as in the nex
 
 ## Manual installation from source code
 
-
-
 1. Clone the repository and enter into the folder
 
     ```bash
@@ -40,4 +38,4 @@ To test the installation, open the current folder in VS Code
 code .
 ```
 
-and view the file `demo.in`.
\ No newline at end of file
+and view the file `demo.in`.