cosmetic changes to vagrant_setup instructions