fix bug #943770