Currently, we don't have any tests verifying the expected behavior for correction indicators or panels with permutations of the various correction options we expose. This makes it very easy to introduce subtle bugs such as the one fixed by bug 259949. We should invest some time into improving our test coverage in this area.
<rdar://problem/113872869>