Some tiny doc updates.