diff --git a/ChangeLog b/ChangeLog
index 9d92be9397..947158116b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,10 @@ Changes in version 0.2.0.25-rc - 2008-04-23
       Otherwise, many BSD-family implementations will crash hard on
       startup.  Fixes bug 671.  Bugfix on 0.2.0.24-rc.
 
+  o Minor bugfixes
+    - Authorities correctly free policies on bad servers on
+      exit. Fixes bug 672.
+
 
 Changes in version 0.2.0.24-rc - 2008-04-22
   o New directory authorities:
diff --git a/src/or/policies.c b/src/or/policies.c
index e28ba3cb48..1222c17413 100644
--- a/src/or/policies.c
+++ b/src/or/policies.c
@@ -922,6 +922,10 @@ policies_free_all(void)
   authdir_reject_policy = NULL;
   addr_policy_list_free(authdir_invalid_policy);
   authdir_invalid_policy = NULL;
+  addr_policy_list_free(authdir_baddir_policy);
+  authdir_baddir_policy = NULL;
+  addr_policy_list_free(authdir_badexit_policy);
+  authdir_badexit_policy = NULL;
 
   if (!HT_EMPTY(&policy_root))
     log_warn(LD_MM, "Still had some address policies cached at shutdown.");