fix #4223