fix a travis setting