Comments for #8547 by