Fix get_version()