Julien,

On 06/05/17 23:08, Julien Lepiller wrote:
> Indeed, I made a mistake here... So here is a patch that should work
> (tested).

Pushed. Thanks!

Kind regards,

T G-R