diff --git a/lua/plugins.lua b/lua/plugins.lua
index cbbe0a2..a884e3e 100644
--- a/lua/plugins.lua
+++ b/lua/plugins.lua
@@ -72,9 +72,9 @@ local function init()
     use 'neovim/nvim-lspconfig'
     use 'https://git.sr.ht/~whynothugo/lsp_lines.nvim'
     -- -- Coq
-    use {'ms-jpq/coq_nvim', branch = 'coq'}
-    use {'ms-jpq/coq.artifacts', branch = 'artifacts'}
-    use {'ms-jpq/coq.thirdparty', branch = '3p'}
+    use { 'ms-jpq/coq_nvim', branch = 'coq' }
+    use { 'ms-jpq/coq.artifacts', branch = 'artifacts' }
+    use { 'ms-jpq/coq.thirdparty', branch = '3p' }
     -- -- nvim-cmp
     use 'hrsh7th/cmp-nvim-lsp'
     use 'hrsh7th/nvim-cmp'