diff --git a/src-3.0/GF/Infra/Option.hs b/src-3.0/GF/Infra/Option.hs
index 6c9d3550b..380cb3af7 100644
--- a/src-3.0/GF/Infra/Option.hs
+++ b/src-3.0/GF/Infra/Option.hs
@@ -186,9 +186,11 @@ moduleOptionsGFO :: ModuleOptions -> [(String,String)]
 moduleOptionsGFO (ModuleOptions o) = 
          maybe [] (\x -> [("language",x)]) (optSpeechLanguage mfs)
       ++ maybe [] (\x -> [("startcat",x)]) (optStartCat mfs)
+--      ++ maybe [] (\x -> [("coding",  e2s x)]) (Just (optEncoding mfs))
       ++ (if optErasing mfs then [("erasing","on")] else [])
-  where mfs = o defaultModuleFlags
-
+  where 
+    mfs = o defaultModuleFlags
+    e2s e = maybe [] id $ lookup e [(s,e) | (e,s) <- encodings]
 
 -- Option manipulation