Not necessary.  Line was longer than 80 chars, so my editor evidently reformatted it.  I'll revert it.