Minor improvements in manuals