#3885: fixed