diff --git a/src/smt/theory_recfun.cpp b/src/smt/theory_recfun.cpp
index fee8aac4e..70e8ffa6e 100644
--- a/src/smt/theory_recfun.cpp
+++ b/src/smt/theory_recfun.cpp
@@ -1,5 +1,5 @@
 /*++
-Copyright (c) 2018 Microsoft Corporation, Simon Cuares
+Copyright (c) 2018 Microsoft Corporation, Simon Cruanes
 
 Module Name:
 
@@ -11,7 +11,7 @@ Abstract:
 
 Author:
 
-    Simon Cuares December 2017
+    Simon Cruanes December 2017
 
 Revision History:
 
diff --git a/src/smt/theory_recfun.h b/src/smt/theory_recfun.h
index 3ae46a6f3..170fbb31d 100644
--- a/src/smt/theory_recfun.h
+++ b/src/smt/theory_recfun.h
@@ -11,7 +11,7 @@ Abstract:
 
 Author:
 
-    Simon Cuares December 2017
+    Simon Cruanes December 2017
 
 Revision History: