@kwmsmith : This change is still undone, right?  If you'd rather, we could make it an issue.