fixing minor issue with setup script