readme

diff --git a/README.md b/README.md
index 9281cf0a7517e5bbcc7743705a9eee28f8a8d52d..9f7429270f1b9b41467f8791c96c773e4274ae11 100644 (file)
--- a/README.md
+++ b/README.md
@@ -121,9 +121,9 @@ References and notes
    Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg. This
    paper describes the type theory and its model.
 
-* [Canonicity for Cubical Type
-  Theory](https://arxiv.org/abs/1607.04156), Simon Huber. Proof of
-  canonicity for the type theory.
+ * [Canonicity for Cubical Type
+   Theory](https://arxiv.org/abs/1607.04156), Simon Huber. Proof of
+   canonicity for the type theory.
 
  * Voevodsky's lectures and texts on [univalent
    foundations](http://www.math.ias.edu/vladimir/home)