Fix Travis settings.