diff --git a/src/goto-programs/goto_convert_functions.cpp b/src/goto-programs/goto_convert_functions.cpp
index 648fd6b31df..91df5cb4447 100644
--- a/src/goto-programs/goto_convert_functions.cpp
+++ b/src/goto-programs/goto_convert_functions.cpp
@@ -1,4 +1,4 @@
-/**** ***************************************************************\
+/********************************************************************\
 
 Module: Goto Programs with Functions