diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 8bb9685701..4ba96baeb4 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2018-11-08  Tom Tromey  <tom@tromey.com>
+
+	* record.c (require_record_target): Upper-case "<TAB>".
+
 2018-11-08  Tom Tromey  <tom@tromey.com>
 
 	* python/lib/gdb/command/pretty_printers.py
diff --git a/gdb/record.c b/gdb/record.c
index 2fd77824d4..fdc76f80cc 100644
--- a/gdb/record.c
+++ b/gdb/record.c
@@ -75,7 +75,7 @@ require_record_target (void)
   t = find_record_target ();
   if (t == NULL)
     error (_("No record target is currently active.\n"
-	     "Use one of the \"target record-<tab><tab>\" commands first."));
+	     "Use one of the \"target record-<TAB><TAB>\" commands first."));
 
   return t;
 }