Add 'toFullString()' in Version, to help troubleshoot