fixup travis issue