Overlooked in #7825.
Overlooked in #7825.