Specification formatting changes