diff --git a/lua/tests/lean3/infoview/widgets_spec.lua b/lua/tests/lean3/infoview/widgets_spec.lua
index 7d7d2e4d..1192301e 100644
--- a/lua/tests/lean3/infoview/widgets_spec.lua
+++ b/lua/tests/lean3/infoview/widgets_spec.lua
@@ -22,7 +22,7 @@ helpers.if_has_lean3('infoview widgets', clean_buffer('example : 2 = 2 := by ref
     ]]
 
     vim.api.nvim_set_current_win(current_infoview.window)
-    helpers.move_cursor{ to = {2, 4} }  -- `ℕ`
+    -- We are already at the ℕ.
 
     local known_windows = { lean_window, current_infoview.window }
     assert.windows.are(known_windows)