Hopeful travis-ci fix