Fix typos

[chloefeal]

This pull request contains changes to improve clarity, correctness and structure.

Description correction: typo fix.

Thank you very much.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 74.70%. Comparing base (22649ee) to head (e27267a).
Report is 31 commits behind head on master.

Files with missing lines	Patch %	Lines
folding/src/standard_config.rs	0.00%	1 Missing ⚠️
o1vm/src/pickles/prover.rs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2919      +/-   ##
==========================================
+ Coverage   74.68%   74.70%   +0.01%     
==========================================
  Files         259      259              
  Lines       61667    61667              
==========================================
+ Hits        46058    46066       +8     
+ Misses      15609    15601       -8     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.