Fixed up some examples, though they still need discussion.