Some indentation fixes in the spec.

I'm more happy now.