diff --git a/demos/Posix-GCC/main.c b/demos/Posix-GCC/main.c
index bcdc6636b..7514faebf 100644
--- a/demos/Posix-GCC/main.c
+++ b/demos/Posix-GCC/main.c
@@ -18,8 +18,6 @@
     along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
-#include <stdio.h>
-
 #include "ch.h"
 #include "hal.h"
 #include "test.h"
@@ -107,7 +105,7 @@ static const ShellConfig shell_cfg2 = {
 /*
  * Console print server done using synchronous messages. This makes the access
  * to the C printf() thread safe and the print operation atomic among threads.
- * In this example the message is the zero termitated string itself.
+ * In this example the message is the zero terminated string itself.
  */
 static msg_t console_thread(void *arg) {
 
@@ -205,7 +203,7 @@ static evhandler_t fhandlers[] = {
  * Simulator main.                                                        *
  *------------------------------------------------------------------------*/
 int main(void) {
-  EventListener sd1fel, sd2fel, tel;
+  EventListener tel;
 
   /*
    * System initializations.
diff --git a/readme.txt b/readme.txt
index f91c20890..40bd2925f 100644
--- a/readme.txt
+++ b/readme.txt
@@ -83,6 +83,8 @@
 *****************************************************************************
 
 *** 2.5.1 ***
+- FIX: Fixed double definition of sd1fel and sd2fel breaks Posix simulator
+  (bug 3570532).
 - FIX: Fixed Ethernet PHY power down scheme prevents using LAN8720A (bug
   3570335).
 - FIX: Fixed FatFS won't compile with _FS_REENTRANT enabled (bug 3570135)