diff --git a/collections/HEAD.toml b/collections/HEAD.toml
index 9cd16bc92..a586e64d4 100644
--- a/collections/HEAD.toml
+++ b/collections/HEAD.toml
@@ -282,11 +282,11 @@ url    = "https://github.com/kiana-S/idris2-lens"
 commit = "main"
 ipkg   = "lens.ipkg"
 
-[db.lsp]
+[db.idris2-lsp]
 type        = "github"
 url         = "https://github.com/idris-community/idris2-lsp"
 commit      = "main"
-ipkg        = "lsp.ipkg"
+ipkg        = "idris2-lsp.ipkg"
 packagePath = true
 
 [db.lsp-lib]