Fixed the Travis file