diff --git a/base-nova/include/base/cap_sel_alloc.h b/base-nova/include/base/cap_sel_alloc.h
index 57fda8efee..e551de5e13 100644
--- a/base-nova/include/base/cap_sel_alloc.h
+++ b/base-nova/include/base/cap_sel_alloc.h
@@ -24,7 +24,7 @@
 
 namespace Genode {
 
-	class Cap_selector_allocator : public Bit_allocator<4096> 
+	class Cap_selector_allocator : public Bit_allocator<2 * 4096> 
 	{
 		public: