Documentation updates (minor)