A small correction for r221884. No functional changes.