diff --git a/rc/filetype/coq.kak b/rc/filetype/coq.kak
index 4fdc9eeb..265bc94e 100644
--- a/rc/filetype/coq.kak
+++ b/rc/filetype/coq.kak
@@ -111,7 +111,7 @@ provide-module coq %{
 # Hence here only a simple mechanism of copying indent is done.
     define-command -hidden coq-copy-indent-on-newline %{
         evaluate-commands -draft -itersel %{
-            try %{ execute-keys -draft k <a-x> s ^\h* <ret> y gh j P }
+            try %{ execute-keys -draft k <a-x> s ^\h+ <ret> y gh j P }
         }
 }