Comments for #9206 by