Mathieu,

Thanks for the reminder!  Pushed as 
68b219b9f482f09e7c55aaee4b64222d8c86172a.

Kind regards,

T G-R