Hi João, hi Stefan,

Please find attached a patch with an edited commit message.  It should
be better.