diff --git a/uppsrc/CtrlCore/GtkCtrl.h b/uppsrc/CtrlCore/GtkCtrl.h
index fc41d524f..24210ed92 100644
--- a/uppsrc/CtrlCore/GtkCtrl.h
+++ b/uppsrc/CtrlCore/GtkCtrl.h
@@ -164,10 +164,10 @@ public: // really private:
 	static Gclipboard& gselection();
 	static String      RenderPrimarySelection(const Value& fmt);
 
-	static Vector<Event<> > hotkey;
-	static Vector<dword>    keyhot;
-	static Vector<dword>    modhot;
-	static guint            MouseState;
+	static Vector<Event<>> hotkey;
+	static Vector<dword>   keyhot;
+	static Vector<dword>   modhot;
+	static guint           MouseState;
             
 public:
 	static void      EndSession()              {}