Fix travis

This fixes the Travis