travis-ci fix