another travis fixup