diff --git a/Documentation/migration-guide-4.0.0.md b/Documentation/migration-guide-4.0.0.md
index 216a5b51..c474e0cf 100644
--- a/Documentation/migration-guide-4.0.0.md
+++ b/Documentation/migration-guide-4.0.0.md
@@ -177,7 +177,8 @@ RegisteredPublicKeyCredential result = await fido2.MakeNewCredentialAsync(...);
 var credentialId = result.Id;           // Previously CredentialId
 var publicKey = result.PublicKey;
 var user = result.User;
-var counter = result.Counter;
+var counter = result.SignCount;
+var credType = result.Type.ToString()
 ```
 
 #### MakeAssertionAsync Return Type