The higher smoke temp may have given you more temp carryover. If the PR rests for an hour or more then the short sear shouldn't affect temp much.
I split temp the smoke 190*/225*, rest at least an hour loosely tented, and sear for 6 minutes. That give me a beautiful medium rare. I had zilch gray at the edges this time. It turned out beautiful.