Fix Travis file.