Oh jeez, that wasn't supposed to be included in my PR!  I'll fix it next time I'm home.