We don't use it anymore since #11872.