Fix an unrelated Travis problem.