Misc: correct code-coverage in .travis.yml