Tweaked the tests run on Travis-CI