TRAVIS: Reduce the complicatedness of coverage stuff.