Problem description and proposed fix

Don't pull this yet; I'll comment again and merge once I'm done running it through testing.

This is actually a very subtle variation on a previous very subtle bug that we encountered years back.  We got very lucky that it triggered a convergence failure in adjoints_ex3; on a less sensitive problem we'd just have ended up with an incorrect result.