more fixes to the manual