Comments for #763 by