Sigh.

When I did 9551a974642d5b3e99068290a90e67bd27a41b0d, I
forgot that some new code may use it.