Small changes to the manual