diff --git a/examples/logic/ArithmEng.gf b/examples/logic/ArithmEng.gf
index 716350186..942b6d7c2 100644
--- a/examples/logic/ArithmEng.gf
+++ b/examples/logic/ArithmEng.gf
@@ -1,4 +1,4 @@
---# -path=.:mathematical:present:api:prelude
+--# -path=.:mathematical:present:prelude
 
 concrete ArithmEng of Arithm = LogicEng ** 
   open