@jcoyne I think we disagree on a matter of style, not substance.  I will merge.