Fix Travis-CI settings.