diff --git a/doc/contribute.md b/doc/contribute.md
index c90a652..512ae06 100644
--- a/doc/contribute.md
+++ b/doc/contribute.md
@@ -330,8 +330,8 @@
 - **Step 1:** Clone the CUE source code from cue.googlesource.com
 and make sure it's stable by compiling and testing it once:
 ```
-$ git clone https://cue.googlesource.com/core
-$ cd core
+$ git clone https://cue.googlesource.com/cue
+$ cd cue
 $ go test ./...
 $ go install ./cmd/cue
 ```
@@ -385,8 +385,8 @@
 
 
 ```
-$ git clone https://github.com/cuelang/core   # or https://cue.googlesource.com/core
-$ cd core
+$ git clone https://github.com/cuelang/cue   # or https://cue.googlesource.com/cue
+$ cd cue
 $ go test ./...
 # go install ./cmd/cue
 ```
@@ -581,7 +581,7 @@
 the fully-qualified syntax supported by GitHub to make sure the change is
 linked to the issue in the main repository, not the subrepository.
 All issues are tracked in the main repository's issue tracker.
-The correct form is "Fixes cuelang/core#159".
+The correct form is "Fixes cuelang/cue#159".
 
 
 
@@ -923,7 +923,7 @@
 
 
 ```
-$ git fetch https://cue.googlesource.com/review refs/changes/21/13245/1 &amp;&amp; git checkout FETCH_HEAD
+$ git fetch https://cue.googlesource.com/review refs/changes/21/13245/1 && git checkout FETCH_HEAD
 ```
 
 To revert, change back to the branch you were working in.
diff --git a/doc/tutorial/basics/coalesce.md b/doc/tutorial/basics/coalesce.md
index 9c4f376..4c15e62 100644
--- a/doc/tutorial/basics/coalesce.md
+++ b/doc/tutorial/basics/coalesce.md
@@ -1,4 +1,4 @@
-[TOC](Readme.md) [Prev](conditional.md) [Next](cycles.md)
+[TOC](Readme.md) [Prev](conditional.md) [Next](cycle.md)
 
 _Expressions_
 
diff --git a/doc/tutorial/basics/cycle.md b/doc/tutorial/basics/cycle.md
index 80755e6..c9cc4c1 100644
--- a/doc/tutorial/basics/cycle.md
+++ b/doc/tutorial/basics/cycle.md
@@ -12,7 +12,7 @@
 
 By postponing that evaluation, we can often break cycles.
 This is very useful for template writers that may not know what fields
-a user will want ot fill out.
+a user will want to fill out.
 
 
 <!-- CUE editor -->
diff --git a/doc/tutorial/basics/disjunctions.md b/doc/tutorial/basics/disjunctions.md
index e049321..b4876c1 100644
--- a/doc/tutorial/basics/disjunctions.md
+++ b/doc/tutorial/basics/disjunctions.md
@@ -7,7 +7,7 @@
 Disjunctions, or sum types, define a new type that is one of several things.
 
 In the example, `conn` defines a `protocol` field that must be one of two
-values: `"tcp"` or `"upd"`.
+values: `"tcp"` or `"udp"`.
 It is an error for a concrete `conn`
 to define anything else than these two values.
 
@@ -19,9 +19,9 @@
     protocol: "tcp" | "udp"
 }
 
-lossy: {
+lossy: conn & {
     address:  "1.2.3.4"
     port:     8888
     protocol: "udp"
 }
-```
\ No newline at end of file
+```
diff --git a/doc/tutorial/basics/selectors.md b/doc/tutorial/basics/selectors.md
index 369e536..1b1d895 100644
--- a/doc/tutorial/basics/selectors.md
+++ b/doc/tutorial/basics/selectors.md
@@ -23,6 +23,7 @@
 ```
 a: {
     b: 2
+    "c-e": 5
 }
 v: 2
 w: 5