Comments for #7742 by