diff --git a/base-hw/src/core/cpu_session_support.cc b/base-hw/src/core/cpu_session_support.cc
index 6493e6e04b..1ecca9f23b 100644
--- a/base-hw/src/core/cpu_session_support.cc
+++ b/base-hw/src/core/cpu_session_support.cc
@@ -23,7 +23,7 @@ using namespace Genode;
 Ram_dataspace_capability
 Cpu_session_component::utcb(Thread_capability thread_cap)
 {
-	/* lookup requested UTCB dataspace */
+	/* look up requested UTCB dataspace */
 	Object_pool<Cpu_thread_component>::Guard
 		t(_thread_ep->lookup_and_lock(thread_cap));
 	if (!t) return Ram_dataspace_capability();
diff --git a/base-hw/src/core/signal_session_component.cc b/base-hw/src/core/signal_session_component.cc
index 49b70cdf9d..bf9ddd1175 100644
--- a/base-hw/src/core/signal_session_component.cc
+++ b/base-hw/src/core/signal_session_component.cc
@@ -79,7 +79,7 @@ Signal_receiver_capability Signal_session_component::alloc_receiver()
 
 void Signal_session_component::free_receiver(Signal_receiver_capability cap)
 {
-	/* lookup ressource info */
+	/* look up ressource info */
 	Receiver * const r = _receivers.lookup_and_lock(cap);
 	if (!r) {
 		PERR("unknown signal receiver");
@@ -122,7 +122,7 @@ Signal_session_component::alloc_context(Signal_receiver_capability r,
 
 void Signal_session_component::free_context(Signal_context_capability cap)
 {
-	/* lookup ressource info */
+	/* look up ressource info */
 	Context * const c = _contexts.lookup_and_lock(cap);
 	if (!c) {
 		PERR("unknown signal context");