Debian in Ubuntu story: bug fixed

The bug I've reported has been fixed.

Thanks to Matthew East, Matthew Nuzum, and all the other (constructive) collaborators who have followed up in the bug log.