Use a real version number to be consistent with everything else...