Fix a couple instances of "Number man"

Closes #38.
domenic · Aug 14, 2022 · 307ee6d · 307ee6d
1 parent 5b3cb48
commit 307ee6d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/convert-worker.js b/lib/convert-worker.js
@@ -510,6 +510,9 @@ function fixCapitalization(xml, book) {
   // ReSound's name is sometimes miscapitalized. The word is never used in a non-name context.
   xml = xml.replace(/Resound/ug, "ReSound");
 
+  // Number Man's "man" is missing its capitalization a couple times.
+  xml = xml.replace(/Number man/ug, "Number Man");
+
   // The Speedrunners team name is missing its capitalization a couple times.
   xml = xml.replace(/speedrunners/ug, "Speedrunners");