Separate PR is fine