Fix a few typos in manual.
Signed-off-by: Sébastien Hinderer <Sebastien.Hinderer@inria.fr>