readme

diff --git a/README.md b/README.md
index 9f7429270f1b9b41467f8791c96c773e4274ae11..45d8d242e49a9240d9d49fd15529c92adaa82f31 100644 (file)
--- a/README.md
+++ b/README.md
@@ -131,8 +131,8 @@ References and notes
  * HoTT book and webpage:
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
 
- * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf)
-   - Old version of the typing rules of the system. See
+ * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - 
+   Old version of the typing rules of the system. See
    [this](http://www.cse.chalmers.se/~coquand/face.pdf) for a
    variation using isomorphisms instead of equivalences.