Bug#1126717:

[IRONALEKS]

Yes, thank you, add your fix to your merge request. I am not a debian
expert so i really don't know how to test it before a installation iso is
released, but once i am able to get an installation iso with the fix, i
will test it :)