Fixes to manual texts