Rewording for #5703.