Comments for #7487 by