--- a/src/core/model/fatal-impl.cc	Wed May 25 16:01:51 2011 -0400
+++ b/src/core/model/fatal-impl.cc	Sun Aug 07 21:55:08 2011 -0700
@@ -107,7 +107,7 @@
 FlushStreams (void)
 {
   std::list<std::ostream*> **pl = PeekStreamList ();
-  if (pl == 0)
+  if (*pl == 0)
     {
       return;
     }