one more tweak to travis