Fix Travis

This should fix the problem.