And now that I'm cleaning the patches applied to the debian package,
here is another tiny patch.

Cheers,

Santiago