Remove comment that is no longer relevant since r254182.