Fix formatting in Linux setup

It needs a blank line to trigger a preformatted section.  Good thing I'm setting this up on a new machine.  ;-)