Fix travis #20