FWIW, this is already there.  This is copied from what we originally had.  I'll think about wording it better, though.