diff --git a/base/src/base/env/platform_env.h b/base/src/base/env/platform_env.h
index 0130cbf2b..e2c07c4bb 100644
--- a/base/src/base/env/platform_env.h
+++ b/base/src/base/env/platform_env.h
@@ -187,7 +187,7 @@ namespace Genode {
 			Resources _resources;
 			Heap      _heap;
 
-			char _initial_junk[4 * 4096];
+			char _initial_junk[sizeof(addr_t) * 4096];
 
 		public: