Fix Travis, I hope