diff --git a/LogicProgramming.v b/LogicProgramming.v
index 6ff7154..70a0144 100644
--- a/LogicProgramming.v
+++ b/LogicProgramming.v
@@ -1,5 +1,5 @@
 (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
-  * Supplementary Coq material: proof by reflection
+  * Supplementary Coq material: unification and logic programming
   * Author: Adam Chlipala
   * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
   * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)
diff --git a/LogicProgramming_template.v b/LogicProgramming_template.v
index 2f91708..0a8d816 100644
--- a/LogicProgramming_template.v
+++ b/LogicProgramming_template.v
@@ -1,5 +1,5 @@
 (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
-  * Supplementary Coq material: proof by reflection
+  * Supplementary Coq material: unification and logic programming
   * Author: Adam Chlipala
   * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
   * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)