Minor esthetic fixes in the spec.