One last Travis-CI fix