slightly simpler coverage reporting