diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index cf427fffbd..f266f75b59 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-10  Tom Tromey  <tom@tromey.com>
+
+	PR python/23487:
+	* gdb.texinfo (Pretty-Printer Commands): Fix typo in example.
+
 2018-09-10  Tom Tromey  <tom@tromey.com>
 
 	PR python/16033:
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 8ebbe5fecb..f479feffe3 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -10798,7 +10798,7 @@ library2.so:
   bar
     bar1
     bar2
-(gdb) disable pretty-printer library2 bar:bar1
+(gdb) disable pretty-printer library2 bar;bar1
 1 printer disabled
 1 of 3 printers enabled
 (gdb) info pretty-printer library2