diff --git a/README.md b/README.md
index 0ef8c20d..1a77d75d 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,9 @@ This target allow to program a [BBC micro:bit](https://www.microbit.co.uk/) usin
 
 [![Build Status](https://travis-ci.org/Microsoft/pxt-microbit.svg?branch=master)](https://travis-ci.org/Microsoft/pxt-microbit)
 
-# Getting started
+## Local server
+
+### Setup
 
 The following commands are a 1-time setup after synching the repo on your machine.
 
@@ -20,10 +22,16 @@ npm install -g pxt
 npm install
 ```
 
-After you're done, simple run this command to open a local web server:
+### Running
+
+Run this command to open a local web server:
 ```
 pxt serve
 ```
+To make sure you're running the latest tools, run
+```
+npm update
+```
 
 More instructions at https://github.com/Microsoft/pxt#running-a-target-from-localhost 
 
diff --git a/pxtarget.json b/pxtarget.json
index a9721b9c..495cadbd 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -103,19 +103,6 @@
                 "path": "/device"
             }
         ],
-        "sideDocMenu": [
-            {
-                "name": "Getting started",
-                "path": "/getting-started"
-            },
-            {
-                "name": "Lessons",
-                "path": "/lessons"
-            },
-            {
-                "name": "Reference",
-                "path": "/reference"
-            }
-        ]
+        "sideDoc": "getting-started"
     }
 }
\ No newline at end of file