Small update for Travis settings