Fix the problem with Travis