Travis-ci fix