Fixes travis setting