Bug 1003: fix bug number in previous commit