Quick name change for bug #8114.