Fix following Travis