Spec: Fixed example in section 5.2.1.

Closes #8.

Thanks, @balpha, for catching these problems.