Really fixing Travis