Comments for #3765 by