This is a minor change, but in the future please make separate PRs for different changes.