Fix travis #12