Fix travis #15