diff --git a/index_es.php b/index_es.php
index 34b9e64..bd5ba8c 100644
--- a/index_es.php
+++ b/index_es.php
@@ -170,8 +170,8 @@
     OpenGL ES version-specific platform header file intended to define
     calling conventions and data types specific to a platform. </p>
 
-<p> Finally, almost all of the headers described below depend on a
-    platform header file common to multiple Khronos APIs called
+<p> Almost all of the headers described below depend on a platform header
+    file common to multiple Khronos APIs called
     <tt>&lt;KHR/khrplatform.h&gt;</tt>. </p>
 
 <p> Vendors may include modified versions of any or all of these headers
diff --git a/index_gl.php b/index_gl.php
index 33db303..7f09698 100644
--- a/index_gl.php
+++ b/index_gl.php
@@ -82,6 +82,11 @@
     <tt>wgl.h</tt> header files supplied with the OS / graphics drivers.
     Additional header files are provided here, including: </p>
 
+<p> Almost all of the headers described below depend on a platform header
+    file common to multiple Khronos APIs called
+    <tt>&lt;KHR/khrplatform.h&gt;</tt>. </p>
+
+
 <ul>
 <li> <tt><a href="api/GL/glext.h">&lt;GL/glext.h&gt;</a></tt> - OpenGL
      1.2 and above compatibility profile and extension interfaces. </li>
@@ -101,6 +106,21 @@
     problems as Issues in the <a
     href="index.php#repository">OpenGL-Registry</a> repository. </p>
 
+<p> <a name="headerskhr"></a> <b> Khronos Shared Platform Header
+    (<tt>&lt;KHR/khrplatform.h&gt;</tt>) </b> </p>
+
+<ul>
+<li> The OpenGL headers all depend on the shared
+     <a href="https://www.khronos.org/registry/EGL/api/KHR/khrplatform.h">
+     <tt>&lt;KHR/khrplatform.h&gt;</tt></a> header from the <a
+     href="http://www.khronos.org/registry/EGL/"> EGL Registry </a>.
+     This is a new dependency, introduced in
+     <a href="https://github.com/KhronosGroup/OpenGL-Registry/pull/183">
+     OpenGL-Registry pull request 183</a> for increased compatibility
+     between OpenGL and OpenGL ES headers. </li>
+</ul>
+
+
 <hr>
 
 <!-- Older Material -->