diff --git a/src/+gui_auxiliary/set_command_option.m b/src/+gui_auxiliary/set_command_option.m
index 42009e7e36aa4fc6b070ae6ebccbdecefc09c0ec..9c79855ae24056525ec39625ce85869483d50ca8 100644
--- a/src/+gui_auxiliary/set_command_option.m
+++ b/src/+gui_auxiliary/set_command_option.m
@@ -57,9 +57,9 @@ try
             end
 
         case 'sylvester'
-            if strcmp(value, 'default')
+            if value == 2 %default
                 options_.sylvester_fp = 0;
-            else
+            elseif value == 3 %fixed_point
                 options_.sylvester_fp = 1;
             end
         case 'dr'