Be explicit about version format to prevent #1677