Fix travis CI issue