--- 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