Guillaume, that would be nice, if you want to send a patch for that you are welcome :)
-- Please use irc.ubuntu.com alias for default IRC server https://launchpad.net/bugs/52690 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs