Add bug number.

The bug report was completely missed because PEAR bug notifications are so broken that they are reported as spam.