Fix travis CI error