Fix bug I introduced to travis script