Some minor edits to spec.