Fix bug number in previous commit.