A small change

An extended description of the change.