yet another travis correction