diff --git a/README.md b/README.md
index 34d2a717e..5ae1f4114 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
Ubuntu | OS X | Windows | Coverage | Builds / UnitTests / Dynamic Analyses |
-  |
+  |
 |
 |
 |
@@ -11,7 +11,7 @@
-**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leodemoura/lean0.1).**
+**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leanprover/lean0.1).**
About
-----
diff --git a/doc/lean/tutorial.md b/doc/lean/tutorial.md
index 80470776b..c6e79ffc4 100644
--- a/doc/lean/tutorial.md
+++ b/doc/lean/tutorial.md
@@ -2,7 +2,7 @@ Lean Tutorial
=============
**WARNING: This tutoral is for Lean 0.1, before major modifications performed in version 0.2.
-Version 0.2 is still under development. [Here you can find a snapshot of Lean 0.1](https://github.com/leodemoura/lean0.1).**
+Version 0.2 is still under development. [Here you can find a snapshot of Lean 0.1](https://github.com/leanprover/lean0.1).**
Introduction
------------
diff --git a/doc/make/ubuntu-12.04-detailed.md b/doc/make/ubuntu-12.04-detailed.md
index 4df255b28..10fb15ca1 100644
--- a/doc/make/ubuntu-12.04-detailed.md
+++ b/doc/make/ubuntu-12.04-detailed.md
@@ -30,7 +30,7 @@ Preparing working environment on Ubuntu 12.04
sudo apt-get install libboost1.54-dev
sudo apt-get install libboost-thread1.54-dev
-### Fork Lean on github : https://github.com/leodemoura/lean
+### Fork Lean on github : https://github.com/leanprover/lean
### Create a projects directory