problems with bullet lists

1 files changed, 3 insertions, 3 deletions

diff --git a/README.md b/README.md
index 5e4e566fce..94a0b9da34 100644
--- a/README.md
+++ b/README.md
@@ -3,9 +3,9 @@ How to write plugins in Coq
   # Working environment : merlin, tuareg (open question)
   # tuto0 : basics of project organization
   package a ml4 file in a plugin, organize a `Makefile`, `_CoqProject`
-    - Example of syntax to add a new toplevel command
-    - Example of function call to print a simple message.
-    - To use it:
+  - Example of syntax to add a new toplevel command
+  - Example of function call to print a simple message.
+  - To use it:
 
 ```bash
     cd tuto0; make