diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 6e35e87..d704195 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -28,10 +28,10 @@
 
 - [Choose Your Own Adventure](choice/00.00.README.md)
 
-- [WIP - micro:bit HAL basics](microbit/00.00.README.md)
-  - [WIP - Buttons](microbit/01.00.BUTTONS.md)
-  - [WIP - Delays](microbit/02.00.DELAY.md)
-  - [WIP - Display](microbit/03.00.DISPLAY.md)
+- [micro:bit HAL basics](microbit/00.00.README.md)
+  - [Buttons](microbit/01.00.BUTTONS.md)
+  - [Delays](microbit/02.00.DELAY.md)
+  - [Display](microbit/03.00.DISPLAY.md)
 
 - [WIP - Serial UART](serial/00.00.README.md)
   - [Echo Server](serial/01.00.ECHO.md)
diff --git a/src/microbit/01.00.BUTTONS.md b/src/microbit/01.00.BUTTONS.md
index 212469a..851be3b 100644
--- a/src/microbit/01.00.BUTTONS.md
+++ b/src/microbit/01.00.BUTTONS.md
@@ -6,4 +6,6 @@ The micro:bit as 3 hardware buttons, 2 user buttons and the reset button.
 
 The user buttons are wired up to be high when unpressed and low when pressed.
 
+``` rust
 {{#include examples/buttons.rs}}
+```
diff --git a/src/microbit/03.00.DISPLAY.md b/src/microbit/03.00.DISPLAY.md
index 189bc50..9542286 100644
--- a/src/microbit/03.00.DISPLAY.md
+++ b/src/microbit/03.00.DISPLAY.md
@@ -8,4 +8,6 @@ or for monochrome images with differing brightness levels
 
 ## Blocking binary image display
 
+``` rust
 {{#include examples/display_blocking.rs}}
+```
diff --git a/src/serial/01.02.ECHO.md b/src/serial/01.02.ECHO.md
index efa993c..667c54e 100644
--- a/src/serial/01.02.ECHO.md
+++ b/src/serial/01.02.ECHO.md
@@ -1,3 +1,5 @@
 # Echo Solution
 
-{{#include src/main.rs}}
\ No newline at end of file
+``` rust
+{{#include src/main.rs}}
+```