Updated some formatting in the spec.