diff --git a/repos/os/src/lib/sandbox/child_registry.h b/repos/os/src/lib/sandbox/child_registry.h
index 259eb2b355..a328ae5de7 100644
--- a/repos/os/src/lib/sandbox/child_registry.h
+++ b/repos/os/src/lib/sandbox/child_registry.h
@@ -32,7 +32,7 @@ class Sandbox::Child_registry : public Name_registry, Child_list
 		bool _unique(const char *name) const
 		{
 			/* check for name clash with an existing child */
-			List_element<Sandbox::Child> const *curr = first();
+			List_element<Child> const *curr = first();
 			for (; curr; curr = curr->next())
 				if (curr->object()->has_name(name))
 					return false;
diff --git a/repos/os/src/lib/sandbox/types.h b/repos/os/src/lib/sandbox/types.h
index b049d09983..25e2fc0093 100644
--- a/repos/os/src/lib/sandbox/types.h
+++ b/repos/os/src/lib/sandbox/types.h
@@ -28,7 +28,7 @@ namespace Sandbox {
 
 	struct Prio_levels { long value; };
 
-	typedef List<List_element<Sandbox::Child> > Child_list;
+	typedef List<List_element<Child> > Child_list;
 }
 
 #endif /* _LIB__SANDBOX__TYPES_H_ */