Better formatting of spec2