<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <font face="Arial">Dirk:<br>
      <br>
      Here's a (very) small patch to correct a typo on the manual.<br>
      <br>
      BTW: I've noticed while testing the AppImage, that the included
      user manual is older than the version on the git master (or at
      least has typos that are not in master).<br>
      <br>
      Cheers:<br>
      <br>
      Pedro<br>
    </font>
  </body>
</html>