Handle exact version in ServerType#format()
Fix test.