Fix the bug number of previous commit: should be bug #20159.