Fix up version number.