bug fixes in coverage utility