This is not consistent with the corresponding string in #9288. Is that on purpose?