diff --git a/config/arch/cortexM4_stm32f4/M4_openrtx/board_settings.h b/config/arch/cortexM4_stm32f4/M4_openrtx/board_settings.h
index 2f9fe8333..7435d7ef2 100644
--- a/config/arch/cortexM4_stm32f4/M4_openrtx/board_settings.h
+++ b/config/arch/cortexM4_stm32f4/M4_openrtx/board_settings.h
@@ -36,8 +36,6 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-// namespace miosix {
-
 /**
  * \addtogroup Settings
  * \{
@@ -85,6 +83,4 @@ static const unsigned char sdVoltage=30; //Board powered @ 3.0V
  * \}
  */
 
-// } //namespace miosix
-
 #endif	/* BOARD_SETTINGS_H */
diff --git a/miosix.h b/miosix.h
index f96f08d9b..730424845 100644
--- a/miosix.h
+++ b/miosix.h
@@ -6,7 +6,6 @@
 
 /* Hardware */
 #include "interfaces/arch_registers.h"
-#include "interfaces/gpio.h"
 #include "interfaces/bsp.h"
 /* Miosix kernel */
 #include "kernel/kernel.h"
diff --git a/util/version.h b/util/version.h
index 9d584b811..ec2dcc77b 100644
--- a/util/version.h
+++ b/util/version.h
@@ -28,7 +28,6 @@
 #ifndef VERSION_H
 #define	VERSION_H
 
-// namespace miosix {
 
 /**
  * \addtogroup Util
@@ -50,6 +49,4 @@ const char *getMiosixVersion();
  * \}
  */
 
-// } //namespace miosix
-
 #endif	/* VERSION_H */