Adjustments in travis