Still tweaking the travis config file.