Formatting changes in the spec.