Fix issue in travis config