diff --git a/collects/readline/readline.scrbl b/collects/readline/readline.scrbl
index f61731bc89..ba836d00f6 100644
--- a/collects/readline/readline.scrbl
+++ b/collects/readline/readline.scrbl
@@ -241,7 +241,7 @@ from @racketmodname[ffi/unsafe], determines the type of value supplied
 to the @racket[proc].}
 
 
-@section{License Issues}
+@section[#:tag "readline-license"]{License Issues}
 
 GNU's @|readline| library is covered by the GPL, and that applies to
 code that links with it.  Racket is licensed with the LGPL, so the
diff --git a/collects/scribblings/guide/running.scrbl b/collects/scribblings/guide/running.scrbl
index e2b8985c57..081e8b446a 100644
--- a/collects/scribblings/guide/running.scrbl
+++ b/collects/scribblings/guide/running.scrbl
@@ -34,7 +34,7 @@ confguration options, like @Flag{j}), then it starts a @tech{REPL}
 with a @litchar{> } prompt:
 
 @verbatim[#:indent 2]{
-  Welcome to Racket
+  @(regexp-replace #rx"\n+$" (banner) "")
   > 
 }
 
diff --git a/collects/scribblings/more/more.scrbl b/collects/scribblings/more/more.scrbl
index 52ed6fccec..ce9df39e19 100644
--- a/collects/scribblings/more/more.scrbl
+++ b/collects/scribblings/more/more.scrbl
@@ -75,7 +75,7 @@ start @exec{racket} with no command-line arguments:
 
 @verbatim[#:indent 2]{
   $ racket
-  Welcome to Racket
+  @(regexp-replace #rx"\n+$" (banner) "")
   > 
 }