Fix a few typos in manual.

Signed-off-by: Sébastien Hinderer <Sebastien.Hinderer@inria.fr>