Tweak for Travis-CI integration