More user manual changes.