diff --git a/dat/history b/dat/history
index 40ff7afc3..23dba2d4c 100644
--- a/dat/history
+++ b/dat/history
@@ -245,7 +245,7 @@ of these miscreants in this, the list of Dungeoneers:
     Andy Swanson              Jochen Erwied             Pat Rankin
     Andy Thomson              John Kallen               Patric Mueller
     Ari Huttunen              John Rupley               Paul Winner
-    Barton House              John S. Bien              Pierre Martineau
+    Bart House                John S. Bien              Pierre Martineau
     Benson I. Margulies       Johnny Lee                Ralf Brown
     Bill Dyer                 Jon W{tte                 Ray Chason
     Boudewijn Waijers         Jonathan Handler          Richard Addison
diff --git a/doc/Guidebook.mn b/doc/Guidebook.mn
index d9a201caa..aec017528 100644
--- a/doc/Guidebook.mn
+++ b/doc/Guidebook.mn
@@ -5135,7 +5135,7 @@ Andy Church	Jeff Bailey	Pasi Kallinen
 Andy Swanson	Jochen Erwied	Pat Rankin
 Andy Thomson	John Kallen	Patric Mueller
 Ari Huttunen	John Rupley	Paul Winner
-Barton House	John S. Bien	Pierre Martineau
+Bart House	John S. Bien	Pierre Martineau
 Benson I. Margulies	Johnny Lee	Ralf Brown
 Bill Dyer	Jon W{tte	Ray Chason
 Boudewijn Waijers	Jonathan Handler	Richard Addison
diff --git a/doc/Guidebook.tex b/doc/Guidebook.tex
index 625d219dc..9e60138d9 100644
--- a/doc/Guidebook.tex
+++ b/doc/Guidebook.tex
@@ -5754,7 +5754,7 @@ Andy Church & Jeff Bailey & Pasi Kallinen\\
 Andy Swanson & Jochen Erwied & Pat Rankin\\
 Andy Thomson & John Kallen & Patric Mueller\\
 Ari Huttunen & John Rupley & Paul Winner\\
-Barton House & John S. Bien & Pierre Martineau\\
+Bart House & John S. Bien & Pierre Martineau\\
 Benson I. Margulies & Johnny Lee & Ralf Brown\\
 Bill Dyer & Jon W\{tte & Ray Chason\\
 Boudewijn Waijers & Jonathan Handler & Richard Addison\\