NEWS: use correct Debian bug number in 0.13