--- a/src/core/model/fatal-impl.cc	Fri Mar 23 08:38:57 2012 +0100
+++ b/src/core/model/fatal-impl.cc	Fri Mar 23 04:33:02 2012 -0400
@@ -107,7 +107,7 @@
 FlushStreams (void)
 {
   std::list<std::ostream*> **pl = PeekStreamList ();
-  if (pl == 0)
+  if (*pl == 0)
     {
       return;
     }