diff --git a/doc/tutorial/basics/defaults.md b/doc/tutorial/basics/defaults.md
index 145057e..642e621 100644
--- a/doc/tutorial/basics/defaults.md
+++ b/doc/tutorial/basics/defaults.md
@@ -1,3 +1,7 @@
+[TOC](Readme.md) [Prev](disjunctions.md) [Next](disjstruct.md)
+
+_Types and Values_
+
 # Default Values
 
 If at the time of evaluation a sum type still has more than one possible
@@ -15,7 +19,7 @@
 <!-- CUE editor -->
 ```
 // any positive number, 1 is the default
-replicas: 1 | uint  
+replicas: 1 | uint
 
 // the default value is ambiguous
 protocol: "tcp" | "udp"
@@ -25,6 +29,5 @@
 <!-- result -->
 ```
 replicas: 1
-
 protocol: _|_
 ```
\ No newline at end of file