On Mon, Dec 7, 2015 at 3:09 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

Indeed, thanks for catching this.  Should be fixed now,


        Stefan