diff --git a/src/plugins/wp/gui/GuiPanel.ml b/src/plugins/wp/gui/GuiPanel.ml
index fb7171d42528d19dff03a3b8af8a03e9fa4b57a5..4b25d1880a95c901a759b5d4830e83c42a2b67cb 100644
--- a/src/plugins/wp/gui/GuiPanel.ml
+++ b/src/plugins/wp/gui/GuiPanel.ml
@@ -122,6 +122,7 @@ class model_selector (main : Design.main_window_extension_points) =
         dialog#add_row r_hoare#coerce ;
         dialog#add_row r_typed#coerce ;
         dialog#add_row r_bytes#coerce ;
+        r_bytes#set_visible false ;
         dialog#add_row r_eva#coerce ;
         dialog#add_row c_casts#coerce ;
         dialog#add_row c_byref#coerce ;