Comments for #5271 by