diff --git a/.mailmap b/.mailmap
index 6bb714a0759291d5ff7ee2428112974f3a1c9a32..d0d3e26606d1595065c9dac32f3df242b6879650 100644
--- a/.mailmap
+++ b/.mailmap
@@ -34,6 +34,7 @@ David Himmelstrup           <lemmih@gmail.com>
 David Luposchainsky         <dluposchainsky@gmail.com>             <quchen@users.noreply.github.com>
 David Waern                 <davve@dtek.chalmers.se>               David Waern <unknown>
 Dennis Gosnell              <cdep.illabout@gmail.com>
+Don Stewart                 <dons00@gmail.com>                     <dons@galois.com>
 Duncan Coutts               <duncan@community.haskell.org>
 Duncan Coutts               <duncan@community.haskell.org>         <Duncan Coutts duncan@community.haskell.org>
 Duncan Coutts               <duncan@community.haskell.org>         <duncan.coutts@worc.ox.ac.uk>
diff --git a/AUTHORS b/AUTHORS
index 10836f42051bd437a24fbd0573fbfe8ca296efa2..4808f93f573e6aa287f5ac81312e7f2840ffcc44 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -74,7 +74,7 @@ Dennis Gosnell           <cdep.illabout@gmail.com>
 Dino Morelli             <dino@ui3.info>
 Dmitry Astapov           <dastapov@gmail.com>
 Dominic Steinitz         <dominic@steinitz.org>
-Don Stewart              <dons@galois.com>
+Don Stewart              <dons00@gmail.com>
 Doug Beardsley           <mightybyte@gmail.com>
 Duncan Coutts            <duncan@community.haskell.org>
 Echo Nolan               <echo@echonolan.net>