Yes. The point is that it's a percentage of your earnings. It's not simply doubling a flat-rate benefit. What you get at the end is a percentage of the earnings that you've contributed over the years that you were in the plan. So instead of getting 25% of your average annual earnings, you would get 50%. Not everybody would get the same, because it would depend on what they contributed to the plan and what their earnings were over time.
On November 19th, 2009. See this statement in context.