Small changes in the manuals