diff --git a/plat/linux68k/emu/musashi/README.ACK.md b/plat/linux68k/emu/musashi/README.ACK.md
index 9e2e4c2e8..a04695129 100644
--- a/plat/linux68k/emu/musashi/README.ACK.md
+++ b/plat/linux68k/emu/musashi/README.ACK.md
@@ -1,3 +1,3 @@
-This is a copy of the Karl Stenerud's Musashi m68k emulator, available from
-https://github.com/kstenerud/Musashi.  It's MIT licensed and so is compatible
-with the ACK.
+This is a modified copy of the Karl Stenerud's Musashi m68k emulator,
+available from https://github.com/kstenerud/Musashi.  It's MIT licensed
+and so is compatible with the ACK.
diff --git a/plat/linux68k/emu/musashi/m68kcpu.c b/plat/linux68k/emu/musashi/m68kcpu.c
index 45e20aa65..89820c0f0 100755
--- a/plat/linux68k/emu/musashi/m68kcpu.c
+++ b/plat/linux68k/emu/musashi/m68kcpu.c
@@ -562,7 +562,6 @@ void m68k_set_instr_hook_callback(void  (*callback)(void))
 	CALLBACK_INSTR_HOOK = callback ? callback : default_instr_hook_callback;
 }
 
-#include <stdio.h>
 /* Set the CPU type. */
 void m68k_set_cpu_type(unsigned int cpu_type)
 {