#3857: fixed