repair results Summary field says "Unhealthy" even though it is healthy after the repair, if it was unhealthy before

[zooko]

Here is the result of a deep check and repair, followed the the result of another deep check and repair a few minutes later on the same directory. I think the Summary field is wrong in the first one when it says that the directories are unhealthy. The right thing to say is that the directories were unhealthy before the repair, but are healthy now.