Fix travis #10