diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 03a8fbbcdc..3ec40a867b 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -647,7 +647,7 @@ void Thread::_print_activity()
 		Genode::printf("\033[32m await SIG %u\033[0m", receiver_id);
 		break; }
 	case AWAITS_SIGNAL_CONTEXT_KILL: {
-		unsigned const context_id = Signal_receiver_killer::receiver()->id();
+		unsigned const context_id = Signal_context_killer::context()->id();
 		Genode::printf("\033[32m await SCK %u\033[0m", context_id);
 		break; }
 	case AWAITS_SIGNAL_RECEIVER_KILL: {