Make_live_disc: minor changes re formatting