Remove harmless redundancy in Travis file.