Remove extraneous backslash

[lazear]

Looks like a typo to me in the proof.

[github-actions]

Thank you for your submission, we really appreciate it!

Like many open-source projects we ask that you sign our Contributor License Agreement before we can accept your contribution.
To sign, please post two separate comments based on the following templates 👇

1. Comment:

---

- [ ] The JuBiotech maintainers know my real name.

At least one of the following two applies:

- [ ] The JuBiotech maintainers know my current employer.

- [ ] I am *not* making this contribution on behalf of my current employer.

---

2. Comment:

   ---

   I have read the CLA Document and I hereby sign the CLA.

   ---

   1 out of 2 committers have signed the CLA.
   ✅ (Y0dler)[https://github.com/Y0dler]
   ❌ @lazear
   _{You can retrigger this bot by commenting recheck in this Pull Request. Posted by the CLA Assistant Lite bot.}

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.19%. Comparing base (b48238a) to head (e2b5378).
Report is 116 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #28      +/-   ##
==========================================
+ Coverage   75.11%   75.19%   +0.08%     
==========================================
  Files           4        4              
  Lines         860      887      +27     
==========================================
+ Hits          646      667      +21     
- Misses        214      220       +6     

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