tiny clarifications

docs/how-to/use-native-token.md

@@ -181,9 +181,11 @@ The first derived private key from the `code...quality` mnemonic is
 
     ![Balance of receiving account](../img/how-to/gas-token-img/12_bridge.png)
 
-## Using cast to do a bridge claim
+## Using cast to withdraw assets from the bridge
 
-The following work-in-progress cast script processes a bridge claim. Feel free to go through line-by-line and tweak where necessary.
+The following work-in-progress cast script processes a bridge claim. 
+
+Feel free to go through line-by-line and tweak where necessary.
 
 ```sh
 #!/bin/bash

mkdocs.yml

@@ -24,7 +24,7 @@ theme:
 
 nav:
   - Overview: index.md
-  - Deploying and managing a CDK stack:
+  - Deploy and manage a CDK stack:
     - Deploy the CDK stack: quickstart/deploy-stack.md
     - Set up a permissionless node: quickstart/set-up-node.md
     - Observability: quickstart/observability.md
@@ -33,7 +33,7 @@ nav:
   - How to:
     - Migrate:
       - Fork id 7 to 9: how-to/migrate/forkid-7-to-9.md
-    - Using and bridging tokens: how-to/use-native-token.md
+    - Mint, bridge, and use tokens: how-to/use-native-token.md
     - Integrate a DAC: how-to/integrate-da.md
     - Manage allowlists with policies: how-to/manage-policies.md
     - Quickly test a running stack: how-to/quick-test-stack.md