Travis-ci fixing