Apply suggestions from code review

Co-authored-by: Savio <[email protected]>

docs/docs/getting_started.md

@@ -71,7 +71,7 @@ y = "2"
 We're now ready to compile and execute our Noir program. By default the `nargo execute` command will do both, and generate the `witness` that we need to feed to our proving backend:
 
 ```sh
-nargo execute hello-witness
+nargo execute
 ```
 
 You can now see the witness and the compiled circuit in the `target` folder. We're ready to prove
@@ -81,7 +81,7 @@ You can now see the witness and the compiled circuit in the `target` folder. We'
 Using the `bb` CLI tool as an example:
 
 ```sh
-bb prove -b ./target/hello_world.json -w ./target/hello-witness.gz -o ./target/proof
+bb prove -b ./target/hello_world.json -w ./target/hello-world.gz -o ./target/proof
 ```
 
 :::tip