diff --git a/src/ast/rewriter/seq_regex_bisim.cpp b/src/ast/rewriter/seq_regex_bisim.cpp
index 8aa060732..5e849017c 100644
--- a/src/ast/rewriter/seq_regex_bisim.cpp
+++ b/src/ast/rewriter/seq_regex_bisim.cpp
@@ -11,9 +11,9 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner)
     Margus Veanes   (veanes)
-
+    Nikolaj Bjorner (nbjorner)
+    
 --*/
 
 #include "ast/rewriter/seq_regex_bisim.h"