diff --git a/repos/base/include/base/child.h b/repos/base/include/base/child.h
index 52ca5e9d61..1dad8a1257 100644
--- a/repos/base/include/base/child.h
+++ b/repos/base/include/base/child.h
@@ -606,7 +606,7 @@ class Genode::Child : protected Rpc_object<Parent>,
 				}
 				catch (Service_denied) {
 					error(_child._policy.name(), ": ", _service_name(), " "
-					      "environment session denied"); }
+					      "environment session denied (", _args.string(), ")"); }
 			}
 
 			typedef typename CONNECTION::Session_type SESSION;