Good day, I have not forwarded the patch for the moment, since reporting bugs requires posting in a Google Group that forbids contact through email, and I have no Google account for the moment, at least none usable to my knowledge. :(