diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re
index 2b8ec57578..b04c9cf1e8 100644
--- a/src/haz3lweb/view/CursorInspector.re
+++ b/src/haz3lweb/view/CursorInspector.re
@@ -175,7 +175,7 @@ let rec exp_view = (cls: Term.Cls.t, status: Info.status_exp) =>
     | None => div_err([text("Case expression is inexhaustive")])
     | Some(err) =>
       div_err([
-        exp_view(Exp(Match), InHole(Common(err))),
+        exp_view(cls, InHole(Common(err))),
         text("; case expression is inexhaustive"),
       ])
     }