View Revisions: Note 4383

Summary 0001442: Incorrect coverage reported seemingly at random points in codebase.