--- a/src/industry_gui.cpp	Tue May 06 14:24:33 2008 +0000
+++ b/src/industry_gui.cpp	Tue May 06 15:06:19 2008 +0000
@@ -399,12 +399,12 @@
 
 static void UpdateIndustryProduction(Industry *i);
 
-static inline bool isProductionMinimum(const Industry *i, int pt)
+static inline bool IsProductionMinimum(const Industry *i, int pt)
 {
 	return i->production_rate[pt] == 0;
 }
 
-static inline bool isProductionMaximum(const Industry *i, int pt)
+static inline bool IsProductionMaximum(const Industry *i, int pt)
 {
 	return i->production_rate[pt] >= 255;
 }
@@ -501,7 +501,7 @@
 				/* Let's put out those buttons.. */
 				if (IsProductionAlterable(i)) {
 					DrawArrowButtons(5, y, 3, (WP(w, indview_d).clicked_line == j + 1) ? WP(w, indview_d).clicked_button : 0,
-							!isProductionMinimum(i, j), !isProductionMaximum(i, j));
+							!IsProductionMinimum(i, j), !IsProductionMaximum(i, j));
 				}
 				y += 10;
 			}
@@ -550,12 +550,12 @@
 						if (IsInsideMM(x, 5, 25) ) {
 							/* Clicked buttons, decrease or increase production */
 							if (x < 15) {
-								if (isProductionMinimum(i, line)) return;
+								if (IsProductionMinimum(i, line)) return;
 								i->production_rate[line] = max(i->production_rate[line] / 2, 0);
 							} else {
 								/* a zero production industry is unlikely to give anything but zero, so push it a little bit */
 								int new_prod = i->production_rate[line] == 0 ? 1 : i->production_rate[line] * 2;
-								if (isProductionMaximum(i, line)) return;
+								if (IsProductionMaximum(i, line)) return;
 								i->production_rate[line] = minu(new_prod, 255);
 							}