Fix README

diff --git a/README.md b/README.md
index 7aa0b449c8b0e21150ef50b1525e33eee293377f..c772ff027d606d3cce18dc786f29a6fa3064315f 100644 (file)
--- a/README.md
+++ b/README.md
@@ -55,9 +55,9 @@ directory will be taken as the search path for the imports.
 References and notes
 --------------------
 
- * [A Cubical Type
-   Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) -
-   The typing rules of the system
+ * [Cubical Type
+   Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The
+   typing rules of the system
 
  * Voevodsky's page on [univalent
    foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)
@@ -66,7 +66,7 @@ References and notes
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
 
  * [A Cubical Approach to Synthetic Homotopy
-   Theory][http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
+   Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
    Dan Licata, Guillaume Brunerie.
 
  * [Type Theory in