Properly extract the version number