diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt
index 8d80aff375..3a14a5a76b 100644
--- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt
+++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt
@@ -92,7 +92,6 @@
   (define by-source-panel
     (new by-source-panel% 
          [parent dlg]
-         [stretchable-height #f]
          [in-terminal in-terminal-panel]
          [text-field-initial-value package-to-offer]))