Index: /trunk/modules/vci_io_bridge/caba/source/src/vci_io_bridge.cpp
===================================================================
--- /trunk/modules/vci_io_bridge/caba/source/src/vci_io_bridge.cpp	(revision 712)
+++ /trunk/modules/vci_io_bridge/caba/source/src/vci_io_bridge.cpp	(revision 713)
@@ -43,5 +43,5 @@
 #define DEBUG_CONFIG_CMD		1
 #define DEBUG_CONFIG_RSP		1
-#define DEBUG_MISS_WTI_CMD  		1
+#define DEBUG_MISS_WTI_CMD  	1
 
 namespace soclib { 
@@ -637,5 +637,5 @@
 #if DEBUG_DMA_CMD
 if( m_debug_activated )
-std::cout << "  <IOB DMA_CMD_IDLE> DMA command" << std::endl
+std::cout << "  <IOB DMA_CMD_IDLE> DMA command"
           << " : address = " << std::hex << p_vci_tgt_iox.address.read()
           << " / srcid = " << p_vci_tgt_iox.srcid.read()
@@ -1494,5 +1494,5 @@
     // - The local configuration segment is identified by the "special" atribute
     //   in the mapping table.
-    // - All configuration requests are checkeg against segmentation violation.
+    // - All configuration requests are checked against segmentation violation.
     // - In case of local config request, or in case of segmentation violation,
     //   the FSM send a response request to CONFIG_RSP FSM.
