oups forgot to change travis setting