Minor documentation-related changes.