some fixes in manuals