remove some remnants of old coverage reporting