Fix travis specs