diff --git a/nyx/hypercall/configuration.c b/nyx/hypercall/configuration.c
index 297b908d71..355d4819c9 100644
--- a/nyx/hypercall/configuration.c
+++ b/nyx/hypercall/configuration.c
@@ -19,7 +19,7 @@ void handle_hypercall_kafl_get_host_config(struct kvm_run *run,
     }
 
     if (GET_GLOBAL_STATE()->get_host_config_done) {
-        nyx_trace();
+        nyx_debug("KVM_EXIT_KAFL_GET_HOST_CONFIG called again...");
     }
 
     memset((void *)&config, 0, sizeof(host_config_t));
@@ -47,7 +47,7 @@ void handle_hypercall_kafl_set_agent_config(struct kvm_run *run,
     }
 
     if (GET_GLOBAL_STATE()->set_agent_config_done) {
-        nyx_abort((char *)"KVM_EXIT_KAFL_SET_AGENT_CONFIG called twice...");
+        nyx_abort("KVM_EXIT_KAFL_SET_AGENT_CONFIG called twice...");
     }
 
     X86CPU      *cpux86 = X86_CPU(cpu);