Tweak formatting in hardware description