hopefully coverage reporting now works