diff --git a/repos/os/src/lib/genode_c_api/usb.cc b/repos/os/src/lib/genode_c_api/usb.cc
index 5f7defab7a..3d571cd482 100644
--- a/repos/os/src/lib/genode_c_api/usb.cc
+++ b/repos/os/src/lib/genode_c_api/usb.cc
@@ -610,8 +610,8 @@ class Session_component
 			if (!_ram_quota_guard().have_avail(needed_ram))
 				throw Out_of_ram();
 
-			_cap_quota_guard().replenish(Cap_quota{2});
-			_ram_quota_guard().replenish(needed_ram);
+			_cap_quota_guard().withdraw(Cap_quota{2});
+			_ram_quota_guard().withdraw(needed_ram);
 
 			return _alloc_fn(size);
 		}