Tweak formatting in spec