Changes in Travis file