Minor change

A minor change.