--- boost.module.original	2007-11-15 22:45:31.000000000 +0100
+++ boost.module	2007-11-15 23:04:18.000000000 +0100
@@ -213,6 +213,10 @@ function boost_comment($comment, $op) {
       if (!empty($comment['nid']))
         boost_cache_expire('node/' . $comment['nid'], TRUE);
       break;
+    case 'delete':
+      if (!empty($comment->nid))
+        boost_cache_expire('node/' . $comment->nid, TRUE);
+      break;
   }
 }