A minor code change.