Revert previous change as requested by hrs@. As a side note, we should add
these numbers *after* the actual release in order to reduce confuse.