diff --git a/ports/esp8266/gccollect.c b/ports/esp8266/gccollect.c
index 3618a56644..bca0e030cb 100644
--- a/ports/esp8266/gccollect.c
+++ b/ports/esp8266/gccollect.c
@@ -26,6 +26,7 @@
 
 #include <stdio.h>
 
+#include "py/mpconfig.h"
 #include "py/gc.h"
 #include "gccollect.h"
 
diff --git a/py/gc.h b/py/gc.h
index 4690d39370..f67fb0daad 100644
--- a/py/gc.h
+++ b/py/gc.h
@@ -26,11 +26,9 @@
 #ifndef MICROPY_INCLUDED_PY_GC_H
 #define MICROPY_INCLUDED_PY_GC_H
 
+#include <stdbool.h>
 #include <stdint.h>
 
-#include "py/mpconfig.h"
-#include "py/misc.h"
-
 void gc_init(void *start, void *end);
 
 // These lock/unlock functions can be nested.