(#3438)  Document change.