Hi Benjamin,

I applied with the minor changes below, added a commit log that follows
our convention, and pushed.

Thanks!

Ludo’.