I think that the new command is worthwhile in any case.  I think this fixes the problem well, if perhaps a bit *too* well.  Tom, let us know what you think?