diff --git a/src/+gui_auxiliary/set_command_option.m b/src/+gui_auxiliary/set_command_option.m
index fdb4d3f407ecc4cf1f87f5af8742ca63f361631f..42009e7e36aa4fc6b070ae6ebccbdecefc09c0ec 100644
--- a/src/+gui_auxiliary/set_command_option.m
+++ b/src/+gui_auxiliary/set_command_option.m
@@ -48,11 +48,11 @@ try
             options_.lyapunov_db = 0;
             options_.lyapunov_srs = 0;
 
-            if strcmp(value, 'fixed_point')
+            if value == 3 % fixed_point
                 options_.lyapunov_fp = 1;
-            elseif strcmp(value, 'doubling')
+            elseif value == 4 %doubling
                 options_.lyapunov_db = 1;
-            elseif strcmp(value, 'square_root_solver')
+            elseif value == 5 %square_root_solver
                 options_.lyapunov_srs = 1;
             end