Comments for #8381 by