Comments for #8754 by