Yeah -- at the end of the day, it doesn't matter, but maybe it does make sense to be consistent with #1868.  I'll fix this up.