diff --git a/MAINTAINERS b/MAINTAINERS
index 73a96c978b..a7fad84c67 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -237,7 +237,7 @@ F:	config/MiniOS.mk
 F:	extras/mini-os/
 
 OCAML TOOLS
-M:	David Scott <dave.scott@eu.citrix.com>
+M:	David Scott <dave@recoil.org>
 S:	Supported
 F:	tools/ocaml/