Fix issue with Travis