fix #4338