Spec updated, fixed some indentation, other small edits.
Spec updated, fixed some indentation, other small edits.