From c422b791e1b361cf4e48f32614c9f6c527a5694f Mon Sep 17 00:00:00 2001
From: Ethan Resnick <ethan.resnick@gmail.com>
Date: Wed, 13 Apr 2016 18:04:53 -0400
Subject: [PATCH] Fix header id

---
 extensions/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/index.md b/extensions/index.md
index 4b79a782f..198060ca6 100644
--- a/extensions/index.md
+++ b/extensions/index.md
@@ -10,7 +10,7 @@ show_sidebar: true
 latest work [here](https://github.com/json-api/json-api/tree/profile-extensions).
 There is no official support for extensions in the base JSON API specification.
 
-## <a href="#prior-extensions" id="deprecated-extensions" class="headerlink"></a> Prior Extensions
+## <a href="#prior-extensions" id="prior-extensions" class="headerlink"></a> Prior Extensions
 
 JSON API previously offered experimental support for a different extension
 negotiation system than the one now being discussed, and it provided a number of