fixed Version.toString()