Doc: Applying a pending change from previous merges.