[PATCH] Corrected a typo in the User Manual

[Dirk Hohndel]

On Tue, Dec 15, 2015 at 10:23:41PM +0000, Pedro Neves wrote:
> Dirk:
> 
> Here's a (very) small patch to correct a typo on the manual.

Thanks

> 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).

I'm guessing that the AppImage uses the bundled html which I forgot to
update. I'll fix that.

Thanks

/D