diff --git a/CHANGELOG b/CHANGELOG
index e3c66ccaaf..b02817ecd5 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,6 +1,8 @@
 v3.5.3 (XXXX-XX-XX)
 -------------------
 
+* Fixed internal issue #4647: dead Coordinators are not removed for agency.
+
 * Fixed UPSERT matching.
 
   Empty objects in the `UPSERT { ... }` expression will not be omitted anymore:
diff --git a/js/actions/api-cluster.js b/js/actions/api-cluster.js
index eb8fdd4626..3ae142fae6 100644
--- a/js/actions/api-cluster.js
+++ b/js/actions/api-cluster.js
@@ -112,6 +112,7 @@ actions.defineHttp({
         operations['/arango/Plan/DBServers/' + serverId] = {'op': 'delete'};
         operations['/arango/Current/ServersRegistered/' + serverId] = {'op': 'delete'};
         operations['/arango/Current/DBServers/' + serverId] = {'op': 'delete'};
+        operations['/arango/Current/Coordinators/' + serverId] = {'op': 'delete'};
         operations['/arango/Supervision/Health/' + serverId] = {'op': 'delete'};
         operations['/arango/Target/MapUniqueToShortID/' + serverId] = {'op': 'delete'};
         operations['/arango/Current/ServersKnown/' + serverId] = {'op': 'delete'};