Fixing Travis file