diff --git a/case_studies/wookey/loader/src/main.c b/case_studies/wookey/loader/src/main.c
index d788dee9e4c48ce9a7d8a79d41e6022529969410..8cfb7ffd76ab079ad4b4074baee859571e4ce2f3 100644
--- a/case_studies/wookey/loader/src/main.c
+++ b/case_studies/wookey/loader/src/main.c
@@ -685,7 +685,7 @@ static loader_request_t loader_exec_automaton_transition(const loader_request_t
 {
     loader_state_t state = loader_get_state();
     loader_request_t nextreq = LOADER_REQ_ERROR;
-    if (! loader_is_valid_transition(state, req)) {
+    if (! (loader_is_valid_transition(state, req) == sectrue)) {
         loader_set_state(LOADER_ERROR);
         goto end_transition;
     }