Final tweak to .travis