Travis settings fix