Fix a typo in a manual example

[fingolfin]

No description provided.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.85%. Comparing base (c6a04d2) to head (ffa37ad).

Additional details and impacted files

@@           Coverage Diff           @@
##           master      #33   +/-   ##
=======================================
  Coverage   99.85%   99.85%           
=======================================
  Files           5        5           
  Lines         709      709           
=======================================
  Hits          708      708           
  Misses          1        1           

Files with missing lines	Coverage Δ
lib/local.gd	100.00% <ø> (ø)

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.