diff --git a/xwords4/linux/gtkdraw.c b/xwords4/linux/gtkdraw.c
index 12bdaecbb..7fcb5ab8b 100644
--- a/xwords4/linux/gtkdraw.c
+++ b/xwords4/linux/gtkdraw.c
@@ -602,7 +602,7 @@ gtkDrawTileImpl( DrawCtx* p_dctx, const XP_Rect* rect, const XP_UCHAR* textP,
         drawFocusFrame( dctx, rect );
     }
 
-} /* gtk_draw_drawTile */
+} /* gtkDrawTileImpl */
 
 static void
 gtk_draw_drawTile( DrawCtx* p_dctx, const XP_Rect* rect, const XP_UCHAR* textP,
diff --git a/xwords4/linux/gtkmain.c b/xwords4/linux/gtkmain.c
index c8bf1ddd8..3b2d2d2b3 100644
--- a/xwords4/linux/gtkmain.c
+++ b/xwords4/linux/gtkmain.c
@@ -120,7 +120,7 @@ button_press_event( GtkWidget* XP_UNUSED(widget), GdkEventButton *event,
     if ( !globals->mouseDown ) {
         globals->mouseDown = XP_TRUE;
         redraw = board_handlePenDown( globals->cGlobals.game.board, 
-                                  event->x, event->y, &handled );
+                                      event->x, event->y, &handled );
         if ( redraw ) {
             board_draw( globals->cGlobals.game.board );
         }
@@ -493,7 +493,7 @@ configure_event( GtkWidget* widget, GdkEventConfigure* XP_UNUSED(event),
                        GTK_TIMER_WIDTH, GTK_HOR_SCORE_HEIGHT );
 
     board_setTrayLoc( globals->cGlobals.game.board, GTK_TRAY_LEFT, trayTop, 
-                      hscale * GTK_NUM_COLS, vscale * GTK_TRAY_HT_ROWS, 
+                      hscale * GTK_NUM_COLS, vscale * GTK_TRAY_HT_ROWS + 10, 
                       GTK_DIVIDER_WIDTH );
 
     setCtrlsForTray( globals );
@@ -1119,9 +1119,6 @@ setCtrlsForTray( GtkAppGlobals* globals )
         }
         globals->adjustment->page_size = pageSize;
 
-        XP_LOGF( "%s: set pageSize = %d", __func__,
-                 pageSize );
-
         globals->adjustment->value = 
             board_getYOffset( globals->cGlobals.game.board );
         gtk_signal_emit_by_name( GTK_OBJECT(globals->adjustment), "changed" );