Minor tweak for coveralls in travis.