--- a/src/core/model/test.cc	Wed May 15 09:57:26 2013 -0400
+++ b/src/core/model/test.cc	Wed May 15 10:09:33 2013 -0400
@@ -595,6 +595,8 @@
             }
         }
     }
+
+  os->unsetf(std::ios_base::floatfield);
 }
   
 void

--- a/src/spectrum/test/spectrum-ideal-phy-test.cc	Wed May 15 09:57:26 2013 -0400
+++ b/src/spectrum/test/spectrum-ideal-phy-test.cc	Wed May 15 10:09:33 2013 -0400
@@ -202,7 +202,8 @@
     {
       NS_TEST_ASSERT_MSG_EQ (throughputBps, 0.0, "PHY rate is not achievable but throughput is non-zero");    
     }
-      
+
+  std::clog.unsetf(std::ios_base::floatfield);
   Simulator::Destroy ();
 }
 

--- a/src/wifi/model/ctrl-headers.cc	Wed May 15 09:57:26 2013 -0400
+++ b/src/wifi/model/ctrl-headers.cc	Wed May 15 10:09:33 2013 -0400
@@ -59,7 +59,7 @@
 void
 CtrlBAckRequestHeader::Print (std::ostream &os) const
 {
-  os << "TID_INFO=" << m_tidInfo << ", StartingSeq=" << std::hex << m_startingSeq;
+  os << "TID_INFO=" << m_tidInfo << ", StartingSeq=" << std::hex << m_startingSeq << std::dec;
 }
 
 uint32_t