diff --git a/_layouts/home.html b/_layouts/home.html
index d56f9f862e2b16972fa551812d058d5504f2a1c7..8beea08229ed92c33a6b48a7d736f4bceefda53d 100644
--- a/_layouts/home.html
+++ b/_layouts/home.html
@@ -6,7 +6,7 @@ layout: default
     {{ content }}
   </div>
   {% assign research_pages = site.pages | where_exp: 'page', 'page.url contains "/research/"' %}
-  {% for item in research_pages %}
+  {% for item in research_pages | reverse %}
   <a class="btn btn-primary btn-lg" href="{{ item.url }}">{{ item.title }}</a>
   {% endfor %}
 </div>
@@ -27,4 +27,3 @@ layout: default
     {% bibliography --max 5 %}
   </div>
 </div>
-
diff --git a/index.md b/index.md
index 2d04e2d499cefd93dd2c49ac8c8ff35c24a64a1e..bfd390fd3c1cf76731da520e9aaa2eaf5bf07c43 100644
--- a/index.md
+++ b/index.md
@@ -5,5 +5,4 @@ menu: true
 menu_order: 1
 ---
 
-This research group focusses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifiying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency.
-
+This research group focuses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency.