Tyxml: Fix the version format