Documentation updates (minor).