diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 23d1f4b..496372f 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -238,8 +238,11 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
       if (!(DeepState_UsingLibFuzzer || HAS_FLAG_input_test_file \
 	    || HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
         (void) DeepState_Assume(low <= x && x <= high); \
-      else \
+      else {						\
+        DeepState_LogFormat(DeepState_LogInfo, \
+			    "Fixing value\n"); \
 	x = low + (x%((high+1)-low)); \
+	\}
       return x; \
     }