fixing Travis