#3791: fixed