Fixes for setup instructions