2 files changed, 6 insertions, 5 deletions
diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
index c85915254..60f7b31d4 100644
--- a/doc/tutorial/music/MusicEng.gf
+++ b/doc/tutorial/music/MusicEng.gf
@@ -1,7 +1,11 @@
 --# -path=.:present:api:prelude
 
-  concrete MusicEng of Music = MusicEng0 - [PropKind] ** 
-      open SyntaxEng in {
+  concrete MusicEng of Music = 
+    MusicI - [PropKind] 
+      with
+        (Syntax = SyntaxEng),
+        (MusicLex = MusicLexEng) ** 
+    open SyntaxEng in {
   lin
     PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
   }
diff --git a/doc/tutorial/music/MusicEng0.gf b/doc/tutorial/music/MusicEng0.gf
deleted file mode 100644
index 088444e38..000000000
--- a/doc/tutorial/music/MusicEng0.gf
+++ /dev/null
@@ -1,3 +0,0 @@
-  concrete MusicEng0 of Music = MusicI with
-    (Syntax = SyntaxEng),
-    (MusicLex = MusicLexEng) ;