Fixing broken travis config file.