diff --git a/README.md b/README.md
index 23df4a1..8dd1830 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase
 specific functionality. The individual hacks usually consist out of 
 a single theory file and all documentation is contained in that 
 theory file. The master branch should work with the latest official 
-release of Isabelle (Isabelle 2020, at time of writing), hacks for 
+release of Isabelle (Isabelle 2021, at time of writing), hacks for 
 older versions might be available on a dedicated branch.
 
 ## List of Isabelle Hacks
diff --git a/document/root.tex b/document/root.tex
index 59f3249..f36e832 100644
--- a/document/root.tex
+++ b/document/root.tex
@@ -51,7 +51,7 @@
   \def\isacharunderscore{\textunderscore}%
   \chapter{#1 (\thy.thy)}%
   \def\isacharunderscore{-}%
-  \expandafter\label{sec:\isabellecontext}%
+  % \expandafter\label{sec:\isabellecontext}%
   \endgroup% 
 }
 \newcommand{\isactrltype}{\\<\^type>}