Fix travis #4