diff --git a/lib/obsolete.gd b/lib/obsolete.gd
index 54f192a000..3ca4e7a874 100644
--- a/lib/obsolete.gd
+++ b/lib/obsolete.gd
@@ -560,7 +560,7 @@ DeclareObsoleteSynonym( "USER_HOME_EXPAND", "UserHomeExpand" );
 ##  This name stems from GAP 3 days.
 ##
 ## still used by Browse, ctbllib, gapdoc, genss, io, orb (05/2017)
-DeclareObsoleteSynonym( "RecFields", "RecNames", "4.0" );
+DeclareObsoleteSynonym( "RecFields", "RecNames" );
 
 #############################################################################
 ##