small cosmetic change to setup script