Fixes to the manual