A little cleanup after https://crrev.com/c/2752867.

R=jkummerow@chromium.org

Bug: v8:11238
Change-Id: I6e8b29c852ce6f8267f4b2fb4afe404659503a64
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2756527Reviewed-by: Jakob Kummerow <jkummerow@chromium.org>
Commit-Queue: Clemens Backes <clemensb@chromium.org>
Cr-Commit-Position: refs/heads/master@{#73380}