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


 Confirmed, it works. Thanks!