Fix weird error in Travis tests