diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty b/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty
index 228b90d..e6f7e22 100755
--- a/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty
+++ b/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty
@@ -100,7 +100,7 @@
      ,enhanced
      ,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north
        east,font=\bfseries\footnotesize\color{white}]
-                at (frame.north east) {Isar};}
+                at (frame.north east) {Isabelle code};}
 }
 %% </isar>
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%