Fix up the travis file.