diff --git a/.config/nvim/lua/user/init.lua b/.config/nvim/lua/user/init.lua
index 87ad751..243f5c3 100644
--- a/.config/nvim/lua/user/init.lua
+++ b/.config/nvim/lua/user/init.lua
@@ -235,9 +235,9 @@ local config = {
           "whonore/Coqtail",
           ft = {'coq'},
           config = function()
-              vim.keymap.set({'n', 'v', 'i'}, '<F2>', ':CoqUndo<CR>', {buffer=true})
-              vim.keymap.set({'n', 'v', 'i'}, '<F3>', ':CoqNext<CR>', {buffer=true})
-              vim.keymap.set({'n', 'v', 'i'}, '<F4>', ':CoqToLine<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F2>', '<C-\\><C-O>:CoqUndo<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F3>', '<C-\\><C-O>:CoqNext<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F4>', '<C-\\><C-O>:CoqToLine<CR>', {buffer=true})
           end,
       },
       -- You can disable default plugins as follows: