diff --git a/source/Scrolls/SphereScroll.mmt b/source/Scrolls/SphereScroll.mmt
index 858a46937eb771a933a638f02b13bdac3247641d..0a726378095a5776d89f2b375059839bb6627b46 100644
--- a/source/Scrolls/SphereScroll.mmt
+++ b/source/Scrolls/SphereScroll.mmt
@@ -17,7 +17,7 @@ theory SphereScroll =
         ❙
 
         dMT: Σ x:ℝ . ⊦ (d- M T) ≐ x
-         ❘ meta ?MetaAnnotations?label MT"
+         ❘ meta ?MetaAnnotations?label "dMT"
          ❘ meta ?MetaAnnotations?description "The distance between the mid- and edgepoint (i.e. the radius)"
         ❙