Coverage dropped by > 60% after merging a commit

[tom]

@Dilhasha a ha! I think I got it.

I made a PR here to show the 80% coverage, and I’ll make the change in a PR to the upstream repo.