1.6.3: fix Version.toString()