diff --git a/README.html b/README.html
index 6be938f..25b0cb6 100644
--- a/README.html
+++ b/README.html
@@ -20,7 +20,7 @@
How to contribute annotations
If you don’t have one already, create a
GitHub user account.
Use the GitHub Web UI to
-create your own fork of the es5-spec git repository
and check it out to make a local es5-spec workspace.
Create the annotation in your workspace, using the next two
@@ -46,7 +46,7 @@ How to contribute annotations
to your local git repository, then push it to your GitHub
es5-spec fork.
Send a
- GitHub es5-spec pull request
+ GitHub es5-spec pull request
so that your change can be committed into the upstream source.
@@ -59,7 +59,7 @@ Important
assisting in its implementation.
-


Ex igne vita.
diff --git a/README.md b/README.md
index 181a164..e4b3cff 100644
--- a/README.md
+++ b/README.md
@@ -37,9 +37,9 @@ committed into the upstream source.
[1]: https://github.com/signup/free
- [2]: http://github.com/es5/es5.github.io#fork_box
+ [2]: https://github.com/es5/es5.github.io#fork_box
- [3]: http://github.com/es5/es5.github.io/pulls
+ [3]: https://github.com/es5/es5.github.io/pulls
## Important
@@ -51,7 +51,7 @@ implementation.
![][4]
- [4]: http://es5.github.io/js-mascot.svg
+ [4]: https://es5.github.io/js-mascot.svg
Ex igne vita.
diff --git a/key.html b/key.html
index eb99e01..e79f9fc 100644
--- a/key.html
+++ b/key.html
@@ -26,7 +26,7 @@ Key to the markers
copied, modified, republished, redistributed, etc., as permitted
by that license. If you’d like to contribute annotations, see
the
- instructions on the Annotated ES5 project page.
+ instructions on the Annotated ES5 project page.
Ⓑ bugs.ecmascript.org issues
Direct hyperlinks to bugs.ecmascript.org issues.
diff --git a/timestamp.js b/timestamp.js
index 6284f9c..58274a0 100644
--- a/timestamp.js
+++ b/timestamp.js
@@ -1,7 +1,7 @@
function addTimestamp() {
var link = document.createElement("A"),
d = new Date(document.lastModified);
- // script.src = "http://github.com/api/v2/json/repos/show/es5/es5.github.io?callback=jsonp";
+ // script.src = "https://github.com/api/v2/json/repos/show/es5/es5.github.io?callback=jsonp";
link.href = "https://github.com/es5/es5.github.io/commits/";
document.getElementById("timestamp").appendChild(link);
link.textContent = "Last\u00A0updated:\u00A0" + d.toISOString().substring(0, 10);