diff --git a/team.mkd b/team.mkd
index 074455368bbecef0315294305c1e3fe3653b9b9f..c6986426a067d17658594c58a5fcd385ab1278c6 100644
--- a/team.mkd
+++ b/team.mkd
@@ -19,7 +19,6 @@ a member of the team.
 | --------------------- | ------------------- | ----------------------------------------------------- |
 | Adam Gundry           | @adamgundry         | Steering Committee, records, renamer, typechecker, Core/coercions  |
 | Alan Zimmerman        | @alanz              |  exact printing                                       |
-| Alex D                | @nineonine          |                                                       |
 | Alexis King           | @lexi.lambda        |                                                       |
 | Andreas Klebinger     | @andreask           | Code Generation, RTS, Runtime Performance             |
 | Andreas Schwab        | @schwab             |                                                       |