diff --git a/compiler/main/mls2seq.ml b/compiler/main/mls2seq.ml
index 9210e8c..c7c59e9 100644
--- a/compiler/main/mls2seq.ml
+++ b/compiler/main/mls2seq.ml
@@ -120,7 +120,7 @@ let generate_target p s =
         do_silent_pass "Code generation from Obc" convert_fun o
     | Minils_no_params convert_fun ->
         let p_list = callgraph p in
-        do_silent_pass "Code generation from Obc (w/o params)" (List.iter convert_fun) p_list
+        do_silent_pass "Code generation from Minils (w/o params)" (List.iter convert_fun) p_list
     | Obc_no_params convert_fun ->
         let p_list = callgraph p in
         let o_list = mls2obc_list p_list in
diff --git a/compiler/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml
index a127dcb..9f14ccb 100644
--- a/compiler/minils/main/mls_compiler.ml
+++ b/compiler/minils/main/mls_compiler.ml
@@ -31,7 +31,7 @@ open Compiler_options
 
 let pp p = if !verbose then Mls_printer.print stdout p
 
-;; IFDEF HAS_CTRLNBAC THEN
+;; IFDEF ENABLE_CTRLN THEN
 
 (* NB: I localize file name determination logics for CtrlNbac output into this
    module, because its place is not in CtrlNbacGen... *)