Ah, gotcha.  Fixed in #3247.