Or not.  So I pushed a fix.