Some changes to the manual