fix bug #11335.