Fix strange character in manual

Fixes #1389

Change-Id: I577a174c807f813e8070bb4ac9f30a66b39c124a