fix bug #4355