Hi Guix!

These two patches fix typos in the code and in the manual. These were
reported on weblate.