diff --git a/contrib/summerschool/foods/FoodsIce.gf b/contrib/summerschool/foods/FoodsIce.gf
index f84dd55cd..9889d5da7 100644
--- a/contrib/summerschool/foods/FoodsIce.gf
+++ b/contrib/summerschool/foods/FoodsIce.gf
@@ -4,8 +4,7 @@
 
 concrete FoodsIce of Foods = open Prelude in {
 
-  flags
-    coding=utf8;
+--flags coding=utf8;
 
   lincat
     Comment = SS ;