Comments for #5388 by