Small changes to the manual.

Mainly for the Github pages.