--- windowmanager.cc.old	2005-01-07 15:21:55.949614120 +1100
+++ windowmanager.cc	2005-01-07 15:19:17.414715088 +1100
@@ -625,7 +625,7 @@
  	{
                 if( (unsigned)current_desktop != ks - XK_1 )
 		{
-			(unsigned)current_desktop = ks - XK_1;
+			current_desktop = ks - XK_1;
 			goToDesktop(current_desktop);
 		}
 	}