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.