diff --git a/gui/dialogs/hud.xml b/gui/dialogs/hud.xml
index 0083679cf..d715550c2 100644
--- a/gui/dialogs/hud.xml
+++ b/gui/dialogs/hud.xml
@@ -167,7 +167,7 @@
 	<nasal>
 		<open>
 			var self = cmdarg();
-			if (!getprop("/sim/devel")) {
+			if (!getprop("/sim/gui/devel-widgets")) {
 				foreach(var w; [1, 3, 4, 5]) {
 					self.removeChild("group", w);
 				}
diff --git a/gui/dialogs/rendering.xml b/gui/dialogs/rendering.xml
index a03ba253d..fcbd55435 100644
--- a/gui/dialogs/rendering.xml
+++ b/gui/dialogs/rendering.xml
@@ -288,7 +288,7 @@
 
   <nasal>
     <open>
-      if (!getprop("/sim/devel")) {
+      if (!getprop("/sim/gui/devel-widgets")) {
         cmdarg().getNode("group[2]/group[1]").removeChild("checkbox", 2);
       }
     </open>