fix #4062