A small change for bug #8376.