Some changes in the manual