diff --git a/common/widgets/number_badge.cpp b/common/widgets/number_badge.cpp
index 1df74db940..447f8011e9 100644
--- a/common/widgets/number_badge.cpp
+++ b/common/widgets/number_badge.cpp
@@ -24,6 +24,8 @@
 #include <gal/color4d.h>
 #include <widgets/number_badge.h>
 
+#include <algorithm>
+
 
 NUMBER_BADGE::NUMBER_BADGE( wxWindow* aParent, wxWindowID aId, const wxPoint& aPos,
                             const wxSize& aSize, int aStyles ) :