Small corrections to the manuals.