Fix travis #9