--- a/src/widget.cpp	Fri Apr 18 03:20:59 2008 +0000
+++ b/src/widget.cpp	Fri Apr 18 04:37:06 2008 +0000
@@ -86,7 +86,7 @@
 
 		default: NOT_REACHED();
 	}
-	if (pos <= mi+9) {
+	if (pos <= mi + 9) {
 		/* Pressing the upper button? */
 		w->flags4 |= WF_SCROLL_UP;
 		if (_scroller_click_timeout == 0) {