Fix travis #13