It's not a big deal, since I can output coverage report manually afterwards, but it would be nice to make 2 plugins behave well together.