diff --git a/src/tactic/sine_filter.cpp b/src/tactic/sine_filter.cpp
index 15f0fca7a..2052035f7 100644
--- a/src/tactic/sine_filter.cpp
+++ b/src/tactic/sine_filter.cpp
@@ -9,6 +9,10 @@ Abstract:
 
     Tactic that performs Sine Qua Non premise selection
 
+Author:
+
+    Doug Woos
+
 Revision History:
 --*/
 
diff --git a/src/tactic/sine_filter.h b/src/tactic/sine_filter.h
index 9b9e279a4..769ef474f 100644
--- a/src/tactic/sine_filter.h
+++ b/src/tactic/sine_filter.h
@@ -9,6 +9,10 @@ Abstract:
 
     Tactic that performs Sine Qua Non premise selection
 
+Author:
+
+    Doug Woos
+
 Revision History:
 
 --*/