From 7ba9ecfb5a3ef1fe8193daae240761f5b95a6ff3 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 4 Jul 2023 21:35:32 -0700
Subject: [PATCH] Fix example involving B. Russell.

Closes #8940.
---
 MANUAL.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 3a1b932da..a30b15beb 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -4151,7 +4151,7 @@ capital letter with a period, by at least two spaces.[^2]
 [^2]:  The point of this rule is to ensure that normal paragraphs
     starting with people's initials, like
 
-        B. Russell was an English philosopher.
+        B. Russell won a Nobel Prize (but not for "On Denoting").
 
     do not get treated as list items.