diff --git a/collects/meta/web/minis/bugs.rkt b/collects/meta/web/minis/bugs.rkt
index 77b17adae8..82f6aa0a76 100644
--- a/collects/meta/web/minis/bugs.rkt
+++ b/collects/meta/web/minis/bugs.rkt
@@ -172,9 +172,10 @@
         #:extra-body-attrs `(onLoad: "initBugData();")]{
     @p[style: '("padding: 5px; color: #a00; background-color: #ffe;"
                 " border: 1px solid; font-weight: bold;")]{
-         If you can, please use the Bug Report item in DrRacket's Help menu. It
-         works better than this page, because it helps you supply precise
-         information about your Racket installation and working environment.}
+         If you can, please use the “Submit Bug Report” item in DrRacket's Help
+         menu.  It works better than this page, because it helps you supply
+         precise information about your Racket installation and working
+         environment.}
     @p{@strong{Note:} Bug reports for PLaneT packages are submitted on the
        @a[href: planet-bugs]{PLaneT server}.}
     @p{Before submitting a bug report, you may wish to:
diff --git a/collects/meta/web/www/index.rkt b/collects/meta/web/www/index.rkt
index e1f56cf7f1..81adf0280c 100644
--- a/collects/meta/web/www/index.rkt
+++ b/collects/meta/web/www/index.rkt
@@ -166,8 +166,8 @@
      @desc{This program uses the @elemcode{scribble/base} language for
        generating documents using a prose-friendly syntax.})
     (graphical-example
-     @code{#lang racket ; draw a graph of cos and deriv^3(cos)
-           (require plot)
+     @code{#lang racket   ; draw a graph of cos
+           (require plot) ; and deriv^3(cos)
            (define ((deriv f) x)
              (/ (- (f x) (f (- x 0.001))) 0.001))
            (define (thrice f) (lambda (x) (f (f (f x)))))
@@ -196,16 +196,19 @@
      @desc{Using the FFI means that you're not limited to using Racket
        libraries: pulling out a foreign function is easy, and can even be done
        dynamically on the REPL.})
-    #; ; Is this effective without any highlights?
+    ;; Is this effective without any highlights?
     (example
-     @code{#lang planet jaymccarthy/datalog
+     @code{#lang datalog
            ancestor(A, B) :- parent(A, B).
            ancestor(A, B) :-
              parent(A, C), D = C, ancestor(D, B).
            parent(john, douglas).
            parent(bob, john).
            ancestor(A, B)?}
-     @desc{Blah})
+     @desc{Racket is useful for building other languages.  This example uses
+      the pre-packaged Racket implementation of Datalog, a logic programming
+      language.  If you use this from DrRacket, you'll see that it provides
+      proper highlighting, Check Syntax, and a Datalog-specific REPL.})
     #; ; Not easy to present something like this.
     (example
      @code{#lang racket
diff --git a/collects/meta/web/www/new-name.rkt b/collects/meta/web/www/new-name.rkt
index 76377173cd..5930b0fa76 100644
--- a/collects/meta/web/www/new-name.rkt
+++ b/collects/meta/web/www/new-name.rkt
@@ -85,7 +85,7 @@
         Scheme. As long as we call our language @name{Scheme}, we struggle to
         explain our language, and we are usually forced to start the
         explanation with a disclaimer.  At the same time, to the degree that
-        the PLT community has defined @name{Scheme} though market share,
+        the PLT community has defined @name{Scheme} through market share,
         publications, and educational outreach, we interfere with everyone
         else's ability to define @name{Scheme} — and many have a valid claim to
         that ability.