--- a/src/devices/wifi/dcf-manager.cc	Wed Nov 14 12:23:56 2007 +0100
+++ b/src/devices/wifi/dcf-manager.cc	Wed Nov 14 12:36:08 2007 +0100
@@ -255,6 +255,7 @@
       rxAccessStart = m_lastRxEnd + m_parameters->GetSifs ();
       if (!m_lastRxReceivedOk)
         {
+          /* to handle EIFS */
           rxAccessStart += m_ackTxTime;
         } 
     } 
@@ -269,7 +270,11 @@
                                         busyAccessStart,
                                         txAccessStart, 
                                         navAccessStart);
-  NS_LOG_DEBUG ("access grant start=" << accessGrantedStart);
+  NS_LOG_DEBUG ("access grant start=" << accessGrantedStart <<
+                ", rx access start=" << rxAccessStart <<
+                ", busy access start=" << busyAccessStart <<
+                ", tx access start=" << txAccessStart <<
+                ", nav access start=" << navAccessStart);
   return accessGrantedStart;
 }