updates in coverage reporting, fixes