diff --git a/report/exps.verb b/report/exps.verb
index 6633182..e214f15 100644
--- a/report/exps.verb
+++ b/report/exps.verb
@@ -1576,7 +1576,6 @@ $e'$ @ }@ \\
    &@                   () | @$g_n$@ -> @$e$@;@\\
    &@                   _ -> @$e'$@ } @\ldots\\
    &@    _ -> @$e'$@ }@\\
-   &{\rm where $y$ is a new variable}\\[4pt]
 
 (t)&@case () of { () | @$p$@ <- @$e_0$@ -> @$e$@; _ -> @$e'$@ }@\\
    &$=$@ case @$e_0$@ of { @$p$@ -> @$e$@; _ -> @$e'$@ }@\\