Ah OK. I guess if this is necessary. As long as we only have the release number in exactly one place.