Fixes to manual