Bug#1025825: More information on bug

[Joe Pfeiffer]

See this discussion, including a patch, on google groups:
https://groups.google.com/g/linux.debian.bugs.dist/c/FzL7OUmy8jw
--