diff --git a/repos/os/include/input/root.h b/repos/os/include/input/root.h
index 97d575a3b..e44f49328 100644
--- a/repos/os/include/input/root.h
+++ b/repos/os/include/input/root.h
@@ -61,7 +61,7 @@ class Input::Root_component : public Genode::Static_root<Input::Session>
 			return Static_root<Input::Session>::session(args, affinity);
 		}
 
-		void close(Genode::Capability<Session>)
+		void close(Genode::Capability<Genode::Session>) override
 		{
 			_session.event_queue().enabled(false);
 		}
diff --git a/repos/os/include/os/static_root.h b/repos/os/include/os/static_root.h
index 7fa055a12..f12a7b787 100644
--- a/repos/os/include/os/static_root.h
+++ b/repos/os/include/os/static_root.h
@@ -51,14 +51,14 @@ class Genode::Static_root : public Genode::Rpc_object<Genode::Typed_root<SESSION
 		 ** Root interface **
 		 ********************/
 
-		Capability<Session> session(Root::Session_args const &args, Affinity const &)
+		Capability<Session> session(Root::Session_args const &args, Affinity const &) override
 		{
 			return _session;
 		}
 
-		void upgrade(Capability<Session>, Root::Upgrade_args const &) { }
+		void upgrade(Capability<Session>, Root::Upgrade_args const &) override { }
 
-		void close(Capability<Session>) { }
+		void close(Capability<Session>) override { }
 };
 
 #endif /* _INCLUDE__OS__STATIC_ROOT_H_ */