diff --git a/src/api/CombinatorsKor.gf b/src/api/CombinatorsKor.gf
index 5881a4dac..3c2bd13a9 100644
--- a/src/api/CombinatorsKor.gf
+++ b/src/api/CombinatorsKor.gf
@@ -1,4 +1,4 @@
---# -path=.:alltenses:prelude:src/korean
+--# -path=.:alltenses:prelude:../korean
 
 resource CombinatorsKor = Combinators with
   (Cat = CatKor),
diff --git a/src/api/SyntaxKor.gf b/src/api/SyntaxKor.gf
index 589ef9de8..3be15d310 100644
--- a/src/api/SyntaxKor.gf
+++ b/src/api/SyntaxKor.gf
@@ -1,5 +1,5 @@
---# -path=.:alltenses:prelude
-
-instance SyntaxKor of Syntax = 
-  ConstructorsKor, CatKor, StructuralKor, CombinatorsKor ;
+--# -path=.:alltenses:prelude:../korean
 
+instance SyntaxKor of Syntax =
+  ConstructorsKor, CatKor, StructuralKor, CombinatorsKor **
+  open MissingKor in {} ;