 Small changes to the coverage should be acceptable and not fail CI.
