Fix mangled travis config.