diff --git a/scripts/mk_make.py b/scripts/mk_make.py
index 79c5b8c9f..35d1b3457 100644
--- a/scripts/mk_make.py
+++ b/scripts/mk_make.py
@@ -1,7 +1,7 @@
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 # 
-# Scripts for generate Makefiles and Visual 
+# Scripts for generating Makefiles and Visual 
 # Studio project files.
 #
 # Author: Leonardo de Moura (leonardo)
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 2ccc92f3b..658f266c2 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1,8 +1,8 @@
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 # 
-# Auxiliary scripts for generate Makefiles and Visual 
-# Studio project files.
+# Auxiliary scripts for generating Makefiles 
+# and Visual Studio project files.
 #
 # Author: Leonardo de Moura (leonardo)
 ############################################
diff --git a/lib/elim_term_ite_tactic.cpp b/src/core_tactics/elim_term_ite_tactic.cpp
similarity index 100%
rename from lib/elim_term_ite_tactic.cpp
rename to src/core_tactics/elim_term_ite_tactic.cpp
diff --git a/lib/elim_term_ite_tactic.h b/src/core_tactics/elim_term_ite_tactic.h
similarity index 100%
rename from lib/elim_term_ite_tactic.h
rename to src/core_tactics/elim_term_ite_tactic.h
diff --git a/lib/reduce_args_tactic.cpp b/src/core_tactics/reduce_args_tactic.cpp
similarity index 100%
rename from lib/reduce_args_tactic.cpp
rename to src/core_tactics/reduce_args_tactic.cpp
diff --git a/lib/reduce_args_tactic.h b/src/core_tactics/reduce_args_tactic.h
similarity index 100%
rename from lib/reduce_args_tactic.h
rename to src/core_tactics/reduce_args_tactic.h