I just raised #468.  I think that this point requires something stronger than what you have here, but I want to do the change in that context.