diff --git a/src/Magnum/PixelFormat.h b/src/Magnum/PixelFormat.h
index 503811d02..353d7d69f 100644
--- a/src/Magnum/PixelFormat.h
+++ b/src/Magnum/PixelFormat.h
@@ -288,7 +288,7 @@ enum class PixelFormat: GLenum {
      *      data, otherwise for framebuffer reading only.
      * @requires_es_extension Extension @extension2{NV,read_stencil,GL_NV_read_depth_stencil},
      *      for framebuffer reading only.
-     * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/
+     * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} /
      *      @extension{OES,texture_stencil8}, for texture data only.
      * @requires_gles Stencil index is not available in WebGL.
      */
diff --git a/src/Magnum/TextureFormat.h b/src/Magnum/TextureFormat.h
index 5dfe2c5df..2be07ef4e 100644
--- a/src/Magnum/TextureFormat.h
+++ b/src/Magnum/TextureFormat.h
@@ -1545,7 +1545,7 @@ enum class TextureFormat: GLenum {
     /**
      * Stencil index, 8bit. Not supported in 3D textures.
      * @requires_gl44 Extension @extension{ARB,texture_stencil8}
-     * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/
+     * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} /
      *      @extension{OES,texture_stencil8}
      * @requires_gles Only available as renderbuffer format in WebGL.
      */