minor semantic change.