Comments for #12411 by