1 files changed, 6 insertions, 2 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))) ;
   }