Fix Travis, closes #7