Now we have a debian bug number to close.