diff --git a/src/ImageManipulation.h b/src/ImageManipulation.h
index 5475c0d85..6bcba833d 100644
--- a/src/ImageManipulation.h
+++ b/src/ImageManipulation.h
@@ -10,7 +10,6 @@
 
 #include "MemoryX.h"
 #include <wx/defs.h>
-#include "Theme.h"
 
 class wxColour;
 class wxImage;
@@ -41,6 +40,9 @@ std::unique_ptr<wxImage> OverlayImage(wxImage * background, wxImage * foreground
                       wxImage * mask, int xoff, int yoff);
 
 
+// JKC: will probably change name from 'teBmps' to 'tIndexBmp';
+typedef int teBmps; /// The index of a bitmap resource in Theme Resources.
+
 // Same idea, but this time the mask is an alpha channel in
 // the foreground bitmap, and it's all retrieved from Themes.
 std::unique_ptr<wxImage> OverlayImage(teBmps eBack, teBmps eForeground,