diff --git a/src/getting-started/01.00.BUILD.md b/src/getting-started/01.00.BUILD.md
index 997ba79..ff00849 100644
--- a/src/getting-started/01.00.BUILD.md
+++ b/src/getting-started/01.00.BUILD.md
@@ -148,8 +148,9 @@ neither the crt0 nor the rust runtime are available,
so even implementing `start` would not help us.
We need to replace the operating system entry point.
-You could for example name a function after the default entry point, which for linux is `_main`,
-and start that way. Note, you would also need to disable [name mangling][nm]:
+You could for example name a function after the default entry point,
+which for linux is `_start`, and start that way.
+Note, you would also need to disable [name mangling][nm]:
``` rust
#![no_std]
@@ -164,7 +165,7 @@ pub extern "C" fn _start() -> ! {
[nm]: https://en.wikipedia.org/wiki/Name_mangling
This is the end of the road for trying to get this to work on our own.
-At this point we need the help of a board specific crate and a few cargo tweaks to get this working.
+At this point we need the help of a board-specific support crate and a few cargo tweaks to get this working.
## microbit crate
@@ -385,6 +386,11 @@ fn main() -> ! {
It is all a bit ugly, but fortunately it only needs to be done once.
If you try building now, you should finally be greeted with `Finished`!
+``` shell
+$ cargo build
+Finished dev [unoptimized + debuginfo] target(s) in 20.51s
+```
+
## Build Complete
As a sanity check, let's verify that the produced executable is actually an ARM binary:
diff --git a/src/hello-world/00.00.README.md b/src/hello-world/00.00.README.md
index 716ed14..11dbb0c 100644
--- a/src/hello-world/00.00.README.md
+++ b/src/hello-world/00.00.README.md
@@ -1 +1,3 @@
# Hello world
+
+In this chapter, we will discuss the basic I/O of embedded development in rust.
diff --git a/src/hello-world/03.00.LED.md b/src/hello-world/03.00.LED.md
index 7d7c6d0..72753ab 100644
--- a/src/hello-world/03.00.LED.md
+++ b/src/hello-world/03.00.LED.md
@@ -2,10 +2,12 @@
Let us now turn on an LED! But how?
-Well, first we should look at the documentation of our crate,
+Well, first we should look at the [documentation of our crate][microbit],
and you should be able to figure out how to get access to the gpio,
and set individual pins high and low:
+[microbit]: https://docs.rs/microbit/0.5.1/microbit/
+
``` rust
if let Some(p) = microbit::Peripherals::take() {
let mut gpio = p.GPIO.split();
diff --git a/src/theme/index.hbs b/src/theme/index.hbs
index 7ecb0d6..7f835e2 100644
--- a/src/theme/index.hbs
+++ b/src/theme/index.hbs
@@ -34,6 +34,15 @@
{{/if}}
+
+
+
+