Some improvements to the manual