see #7711