Fix error in Travis file