diff --git a/README.md b/README.md
index 9ff619cb2b..3ec4aca586 100644
--- a/README.md
+++ b/README.md
@@ -23,8 +23,8 @@ About
 - [Authors](http://leanprover.github.io/people/)
 - [Standard Library](library/library.md)
 - [HoTT Library](hott/hott.md)
+- [Emacs Mode](src/emacs/README.md)
 - [Short Tutorial](doc/lean/tutorial.org)
-- [To Do list](doc/todo.md)
 
 Requirements
 ------------
diff --git a/src/emacs/README.md b/src/emacs/README.md
index 40e69a4e67..1c461faeaa 100644
--- a/src/emacs/README.md
+++ b/src/emacs/README.md
@@ -167,7 +167,7 @@ Key Bindings and Commands
 |<kbd>C-c C-l</kbd> | execute lean in stand-alone mode (lean-std-exe)                               |
 |<kbd>C-c C-o</kbd> | set option (lean-set-option)                                                  |
 |<kbd>C-c C-r</kbd> | restart lean process (lean-server-reset-process)                              |
-|<kbd>C-c C-e</kbd> | lean-eval-cmd                                                                 |
+|<kbd>C-c C-e</kbd> | evaluate a lean comman (lean-eval-cmd)                                        |
 |<kbd>C-c ! n</kbd> | flycheck: go to next error                                                    |
 |<kbd>C-c ! p</kbd> | flycheck: go to previous error                                                |
 |<kbd>C-c ! l</kbd> | flycheck: show list of errors                                                 |