diff --git a/INSTALL.md b/INSTALL.md
index 9a538ed4da..aa014dd121 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -10,7 +10,8 @@ You can install Idris 2 with any one of a number of package managers.
 
 ### Installing with [Pack](https://github.com/stefan-hoeck/idris2-pack)
 Pack comes with an installation of Idris 2, so you just need to install Pack.
-See [the installation instructions](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md) on GitHub.
+See [the installation instructions](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md)
+on GitHub.
 ### Installing with [Homebrew](https://brew.sh/)
 ```sh
 brew install idris2