Some fixes to manual.